Armin Biere,
"A Survey of Recent Advances in SAT-based Formal Verification"
, in International Journal on Software Tools for Technology Transfer (STTT), Vol. 7, Nummer 2, Springer, 2005, ISSN: 1433-2787
Original Titel:
A Survey of Recent Advances in SAT-based Formal Verification
Sprache des Titels:
Englisch
Journal:
International Journal on Software Tools for Technology Transfer (STTT)
Veröffentlicher:
Springer
Volume:
7
Number:
2
Erscheinungsjahr:
2005
ISSN:
1433-2787
Anzahl der Seiten:
18
Reichweite:
international
Publikationstyp:
Aufsatz / Paper in sonstiger referierter Fachzeitschrift
Forschungs-