Automatische Verification von ADeVA-Spezifikationen

Dinkel T, Haubelt C, Heinkel U, Schlichter T, Teich J (2005)


Publication Type: Conference contribution

Publication year: 2005

Conference Proceedings Title: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Event location: Munich DE

Authors with CRIS profile

Related research project(s)

How to cite

APA:

Dinkel, T., Haubelt, C., Heinkel, U., Schlichter, T., & Teich, J. (2005). Automatische Verification von ADeVA-Spezifikationen. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Munich, DE.

MLA:

Dinkel, Thomas, et al. "Automatische Verification von ADeVA-Spezifikationen." Proceedings of the GI/ITG/GMM-Workshop 2005, Munich 2005.

BibTeX: Download