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.
Abstract is missing.