Minh D. Nguyen, Max Thalmaier, Markus Wedler, Dominik Stoffel, Wolfgang Kunz. A Re-Use Methodology for SoC Protocol Compliance Verification. In Carsten Gremzow, Nico Moser, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009. pages 57-66, Universitätsbibliothek Berlin, Germany, 2009.
@inproceedings{NguyenTWSK09, title = {A Re-Use Methodology for SoC Protocol Compliance Verification}, author = {Minh D. Nguyen and Max Thalmaier and Markus Wedler and Dominik Stoffel and Wolfgang Kunz}, year = {2009}, researchr = {https://researchr.org/publication/NguyenTWSK09}, cites = {0}, citedby = {0}, pages = {57-66}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009}, editor = {Carsten Gremzow and Nico Moser}, publisher = {Universitätsbibliothek Berlin, Germany}, }