Trace Diagnostics Using Temporal Implicants

Dejan Nickovic (Speaker), Thomas Ferrère, Oded Maler

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

Original language	English
Title of host publication	Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015
Pages	241-258
Number of pages	18
Publication status	Published - 2015
Event	ATVA 2015 - Duration: 12 Oct 2015 → 15 Oct 2015

Conference	ATVA 2015
Period	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 -