Niemann B, Haubelt C (2006)
Publication Type: Conference contribution
Publication year: 2006
Pages Range: 232-236
Conference Proceedings Title: Proceedings of the 9th ITG/GMM/GI Workshop, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
APA:
Niemann, B., & Haubelt, C. (2006). Assertion-Based Verification of Transaction Level Models. In Proceedings of the 9th ITG/GMM/GI Workshop, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (pp. 232-236). Dresden, DE.
MLA:
Niemann, Bernardt, and Christian Haubelt. "Assertion-Based Verification of Transaction Level Models." Proceedings of the 9th ITG/GMM/GI Workshop, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Dresden 2006. 232-236.
BibTeX: Download