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
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