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