Christian Appold. A New Approach to Use Partial Results During Image Computation in BDD Based Symbolic Model Checking. In Jürgen Ruf, Dirk Allmendinger, Matteo Michel, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen, Germany. pages 37-47, Cuvillier, 2014.
No references recorded for this publication.
No citations of this publication recorded.