@inproceedings{FMN5,
title = {Trace Diagnostics Using Temporal Implicants },
author = {Ferr\'ere, Thomas and Maler, Oded and Nickovic, Dejan},
month = {10},
year = {2015},
booktitle = {Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015},
pages = {241-258},
team = {TEMPO},
}
