27. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2024

Unknown

Open source

DOI
10.15480/882.12693
Published
2024
Container
Not recorded
Publisher
TUHH Universitätsbibliothek
Open access
no

Credibility signals

limited evidence Score 43/100 under policy 1.0.0. This is a metadata assessment, not a judgment of the paper's conclusions.

Show all credibility signals

Cite this work

BibTeX

@article{allodium:10.15480/882.12693,
  title = {27. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2024},
  author = {Unknown},
  year = {2024},
  doi = {10.15480/882.12693},
  url = {https://doi.org/10.15480/882.12693}
}

RIS

TY  - JOUR
TI  - 27. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2024
AU  - Unknown
PY  - 2024
DO  - 10.15480/882.12693
UR  - https://doi.org/10.15480/882.12693
ER  - 

APA

Unknown (2024). 27. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2024. https://doi.org/10.15480/882.12693

Source records