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