Trace Diagnostics Using Temporal Implicants

Dejan Nickovic (Vortragende:r), Thomas Ferrère, Oded Maler

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

Originalsprache	Englisch
Titel	Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015
Seiten	241-258
Seitenumfang	18
Publikationsstatus	Veröffentlicht - 2015
Veranstaltung	ATVA 2015 - Dauer: 12 Okt. 2015 → 15 Okt. 2015

Konferenz	ATVA 2015
Zeitraum	12/10/15 → 15/10/15

Research Field

@inproceedings{fb803fa9c9fe496ca7e64c4658bbcaca,

title = "Trace Diagnostics Using Temporal Implicants",

author = "Dejan Nickovic and Thomas Ferr{\`e}re and Oded Maler",

year = "2015",

language = "English",

isbn = "978-3-319-24952-0",

pages = "241--258",

booktitle = "Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015",

note = "ATVA 2015 ; Conference date: 12-10-2015 Through 15-10-2015",

}

TY - GEN

T1 - Trace Diagnostics Using Temporal Implicants

AU - Ferrère, Thomas

AU - Maler, Oded

A2 - Nickovic, Dejan

PY - 2015

Y1 - 2015

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-319-24952-0

SP - 241

EP - 258

BT - Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015

T2 - ATVA 2015

Y2 - 12 October 2015 through 15 October 2015

ER -