Armin Biere, T. Junttila, K. Heljanko, T. Latvala,
"Simple is Better: Efficient Bounded Model Checking for Past LTL"
: Lecture Notes in Computer Science LNCS, Vol. 3385, Springer, 2005, ISBN: 3-540-24297-X, Lecture Notes in Computer Science LNCS, vol. 3385, p. 380-395 Proc. 6th Intl. Conf. on Verification, Model Checking and Abstract Interpretation (VMCAI 05), Paris
Original Titel:
Simple is Better: Efficient Bounded Model Checking for Past LTL
Sprache des Titels:
Englisch
Original Buchtitel:
Lecture Notes in Computer Science LNCS
Veröffentlicher:
Springer
Volume:
3385
Erscheinungsjahr:
2005
Notiz zum Zitat:
Lecture Notes in Computer Science LNCS, vol. 3385, p. 380-395 Proc. 6th Intl. Conf. on Verification, Model Checking and Abstract Interpretation (VMCAI 05), Paris
Forschungs-