Dinkel T, Haubelt C, Heinkel U, Schlichter T, Knäblein J, Schock T, Teich J (2005)
Publication Type: Conference contribution
Publication year: 2005
Conference Proceedings Title: Proc. Dresdener Arbeitstagung Schaltungs- und Systementwurf (DASS 2005)
APA:
Dinkel, T., Haubelt, C., Heinkel, U., Schlichter, T., Knäblein, J., Schock, T., & Teich, J. (2005). Comparison of Techniques for the Automatic Verification of ADeVA Specifications. In Proc. Dresdener Arbeitstagung Schaltungs- und Systementwurf (DASS 2005). Dresden, DE.
MLA:
Dinkel, Thomas, et al. "Comparison of Techniques for the Automatic Verification of ADeVA Specifications." Proceedings of the Dresdener Arbeitstagung Schaltungs- und Systementwurf (DASS 2005), Dresden 2005.
BibTeX: Download