%0 Conference Paper %1 conf/sefm/BartocciMMMN19 %A Bartocci, Ezio %A Manjunath, Niveditha %A Mariani, Leonardo %A Mateis, Cristinel %A Nickovic, Dejan %B SEFM %D 2019 %E Ölveczky, Peter Csaba %E Salaün, Gwen %I Springer %K dblp %P 69-86 %T Automatic Failure Explanation in CPS Models. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2019.html#BartocciMMMN19 %V 11724 %@ 978-3-030-30446-1

@inproceedings{conf/sefm/BartocciMMMN19, added-at = {2019-09-09T00:00:00.000+0200}, author = {Bartocci, Ezio and Manjunath, Niveditha and Mariani, Leonardo and Mateis, Cristinel and Nickovic, Dejan}, biburl = {https://www.bibsonomy.org/bibtex/245ae1ee9e6ed1e267df99b9ada2e0708/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2019}, editor = {Ölveczky, Peter Csaba and Salaün, Gwen}, ee = {https://doi.org/10.1007/978-3-030-30446-1_4}, interhash = {f731774de2a0cc163c52919abf9b2b06}, intrahash = {45ae1ee9e6ed1e267df99b9ada2e0708}, isbn = {978-3-030-30446-1}, keywords = {dblp}, pages = {69-86}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-10T11:47:34.000+0200}, title = {Automatic Failure Explanation in CPS Models.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2019.html#BartocciMMMN19}, volume = 11724, year = 2019 }