Automatic Fault Localization for Property Checking

Goerschwin Fey, Stefan Simon Staber, Roderick Paul Bloem, Rolf Drechsler

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Originalspracheenglisch
Seiten (von - bis)1138-1149
FachzeitschriftIEEE transactions on computer-aided design of integrated circuits and systems
Jahrgang27
Ausgabenummer6
PublikationsstatusVeröffentlicht - 2008

Dieses zitieren