Jens Schönherr. Abstracting from Register-Transfer to Algorithmic Level for Verification. In Manfred Dietrich, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010. pages 147-156, Fraunhofer Verlag, 2010.
@inproceedings{Schonherr10, title = {Abstracting from Register-Transfer to Algorithmic Level for Verification}, author = {Jens Schönherr}, year = {2010}, researchr = {https://researchr.org/publication/Schonherr10}, cites = {0}, citedby = {0}, pages = {147-156}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010}, editor = {Manfred Dietrich}, publisher = {Fraunhofer Verlag}, }