Armin Biere,
"Efficient reduction of finite state model checking to reachability analysis"
, in Springer Verlag, in Intl. Journal on Software Tools for Technology Transfer (STTT), Vol. 5, Nummer 2-3, 2004
Original Titel:
Efficient reduction of finite state model checking to reachability analysis
Sprache des Titels:
Englisch
Journal:
Intl. Journal on Software Tools for Technology Transfer (STTT)
Volume:
5
Number:
2-3
Erscheinungsjahr:
2004
Anzahl der Seiten:
19
Reichweite:
international
Publikationstyp:
Aufsatz / Paper in sonstiger referierter Fachzeitschrift