Equivalence Checking for Partial Implementations Revisited.
K. Gitina, S. Reimer, M. Sauer, R. Wimmer, C. Scholl, and B. Becker. MBMV, page 61-70. Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock, (2013)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/mbmv/GitinaRSWSB13
%A Gitina, Karina
%A Reimer, Sven
%A Sauer, Matthias
%A Wimmer, Ralf
%A Scholl, Christoph
%A Becker, Bernd
%B MBMV
%D 2013
%E Haubelt, Christian
%E Timmermann, Dirk
%I Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock
%K dblp
%P 61-70
%T Equivalence Checking for Partial Implementations Revisited.
%U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2013.html#GitinaRSWSB13
%@ 978-3-86009-147-0
@inproceedings{conf/mbmv/GitinaRSWSB13,
added-at = {2013-03-18T00:00:00.000+0100},
author = {Gitina, Karina and Reimer, Sven and Sauer, Matthias and Wimmer, Ralf and Scholl, Christoph and Becker, Bernd},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20bd95d627a8043e5b9e1f0437184c3db/dblp},
booktitle = {MBMV},
crossref = {conf/mbmv/2013},
editor = {Haubelt, Christian and Timmermann, Dirk},
interhash = {792866f3a287a54329b96799934da792},
intrahash = {0bd95d627a8043e5b9e1f0437184c3db},
isbn = {978-3-86009-147-0},
keywords = {dblp},
pages = {61-70},
publisher = {Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock},
timestamp = {2016-02-02T14:12:46.000+0100},
title = {Equivalence Checking for Partial Implementations Revisited.},
url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2013.html#GitinaRSWSB13},
year = 2013
}