Event Beta

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen, Germany

Name: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen, Germany
Start: 2014-01-01
End: 2014-01-01
Location: Böblingen

MBMV

Date: 2014-01-01
Place: Böblingen, Germany on the map
Series: Methods and Description Languages for Modelling and Verification of Circuits and Systems (MBMV)
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/event/e11h9q2

Proceedings

Title	DOI	Year	Record
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen, Germany		2014	dblp

Sources

The records of the sources that this identifier brings together (cr:sameAs).

confref portal (2020)	`https://id.confref.org/data/confref-portal/event/mbmv2014` · page
dblp	`https://dblp.org/db/conf/mbmv/mbmv2014`

Cite

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen, Germany. confref identifier e11h9q2. https://id.confref.org/event/e11h9q2

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.