Christoph Scholl, Bernd Becker. Checking Equivalence for Partial Implementations. In Dieter Monjau, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Meißen, Germany, February 19-21, 2001. pages 31-43, MoPress, 2001.
@inproceedings{SchollB01-0, title = {Checking Equivalence for Partial Implementations}, author = {Christoph Scholl and Bernd Becker}, year = {2001}, researchr = {https://researchr.org/publication/SchollB01-0}, cites = {0}, citedby = {0}, pages = {31-43}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Meißen, Germany, February 19-21, 2001}, editor = {Dieter Monjau}, publisher = {MoPress}, }