Victor Schuppan, Armin Biere,
"Shortest Counterexamples for Symbolic Model Checking of LTL with Past."
, in Springer, in Lecture Notes in Computer Science (LNCS), Vol. 3440, Springer, Seite(n) 493-509, 2005, ISSN: 0302-9743
Original Titel:
Shortest Counterexamples for Symbolic Model Checking of LTL with Past.
Sprache des Titels:
Englisch
Journal:
Lecture Notes in Computer Science (LNCS)
Veröffentlicher:
Springer
Volume:
3440
Seitenreferenz:
493-509
Erscheinungsjahr:
2005
ISSN:
0302-9743
Anzahl der Seiten:
16
Notiz zur Publikation:
Proc. 11th Intl. Conf. on Tools and Algorithms for the Analysis and Construction of Systems (TACAS'05)