Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker. Equivalence Checking for Partial Implementations Revisited. In Christian Haubelt, Dirk Timmermann, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnemünde, Germany, March 12-14, 2013. pages 61-70, Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock, 2013.
@inproceedings{GitinaRSWSB13,
title = {Equivalence Checking for Partial Implementations Revisited},
author = {Karina Gitina and Sven Reimer and Matthias Sauer and Ralf Wimmer and Christoph Scholl and Bernd Becker},
year = {2013},
researchr = {https://researchr.org/publication/GitinaRSWSB13},
cites = {0},
citedby = {0},
pages = {61-70},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnemünde, Germany, March 12-14, 2013},
editor = {Christian Haubelt and Dirk Timmermann},
publisher = {Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock},
isbn = {978-3-86009-147-0},
}