Victor Schuppan, Armin Biere,
"Shortest Counterexamples for Symbolic Model Checking of LTL with Past."
: Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings, Serie 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
Original Buchtitel:
Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings
Veröffentlicher:
Springer
Serie:
Lecture Notes in Computer Science (LNCS)
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) // Series ISSN: 0302-9743