%0 Conference Paper %1 conf/atva/FerrereMN15 %A Ferrère, Thomas %A Maler, Oded %A Nickovic, Dejan %B ATVA %D 2015 %E Finkbeiner, Bernd %E Pu, Geguang %E Zhang, Lijun %I Springer %K dblp %P 241-258 %T Trace Diagnostics Using Temporal Implicants. %U http://dblp.uni-trier.de/db/conf/atva/atva2015.html#FerrereMN15 %V 9364 %@ 978-3-319-24952-0

@inproceedings{conf/atva/FerrereMN15, added-at = {2017-05-21T00:00:00.000+0200}, author = {Ferrère, Thomas and Maler, Oded and Nickovic, Dejan}, biburl = {https://www.bibsonomy.org/bibtex/26609d9e24322737f176364ddd6a83119/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2015}, editor = {Finkbeiner, Bernd and Pu, Geguang and Zhang, Lijun}, ee = {https://doi.org/10.1007/978-3-319-24953-7_20}, interhash = {5f35e333d602f5cb4728f1fa53fcb85c}, intrahash = {6609d9e24322737f176364ddd6a83119}, isbn = {978-3-319-24952-0}, keywords = {dblp}, pages = {241-258}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:01:10.000+0200}, title = {Trace Diagnostics Using Temporal Implicants.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2015.html#FerrereMN15}, volume = 9364, year = 2015 }