Christian Appold. Symbolic Model Checking with Isomorphism Exploiting Transition Relations. In Frank Oppenheimer, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011. pages 29-38, OFFIS-Institut für Informatik, 2011.
@inproceedings{Appold11,
title = {Symbolic Model Checking with Isomorphism Exploiting Transition Relations},
author = {Christian Appold},
year = {2011},
researchr = {https://researchr.org/publication/Appold11},
cites = {0},
citedby = {0},
pages = {29-38},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011},
editor = {Frank Oppenheimer},
publisher = {OFFIS-Institut für Informatik},
}