Armin Biere, K. Yorav,
"Preface Special Issue on Hardware Verification Workshop (HWVW'10)."
, in Formal Methods in System Design, Vol. 39, Nummer 2, Springer, Seite(n) 115-116, 2011, ISSN: 0925-9856
Original Titel:
Preface Special Issue on Hardware Verification Workshop (HWVW'10).
Sprache des Titels:
Englisch
Journal:
Formal Methods in System Design
Veröffentlicher:
Springer
Volume:
39
Number:
2
Seitenreferenz:
115-116
Erscheinungsjahr:
2011
ISSN:
0925-9856
Anzahl der Seiten:
2
Reichweite:
international
Publikationstyp:
Aufsatz / Paper in sonstiger referierter Fachzeitschrift
Forschungs-