%0 Conference Paper %1 conf/issta/BartocciMMMNP20 %A Bartocci, Ezio %A Manjunath, Niveditha %A Mariani, Leonardo %A Mateis, Cristinel %A Nickovic, Dejan %A Pastore, Fabrizio %B ISSTA %D 2020 %E Khurshid, Sarfraz %E Pasareanu, Corina S. %I ACM %K dblp %P 569-572 %T CPSDebug: a tool for explanation of failures in cyber-physical systems. %U http://dblp.uni-trier.de/db/conf/issta/issta2020.html#BartocciMMMNP20 %@ 978-1-4503-8008-9

@inproceedings{conf/issta/BartocciMMMNP20, added-at = {2023-09-30T00:00:00.000+0200}, author = {Bartocci, Ezio and Manjunath, Niveditha and Mariani, Leonardo and Mateis, Cristinel and Nickovic, Dejan and Pastore, Fabrizio}, biburl = {https://www.bibsonomy.org/bibtex/2e6eee6d8aafe6ffa825640ac00d14edb/dblp}, booktitle = {ISSTA}, crossref = {conf/issta/2020}, editor = {Khurshid, Sarfraz and Pasareanu, Corina S.}, ee = {https://doi.org/10.1145/3395363.3404369}, interhash = {dc1105d23d9513038edd2ea238cc38cc}, intrahash = {e6eee6d8aafe6ffa825640ac00d14edb}, isbn = {978-1-4503-8008-9}, keywords = {dblp}, pages = {569-572}, publisher = {ACM}, timestamp = {2024-04-10T18:45:40.000+0200}, title = {CPSDebug: a tool for explanation of failures in cyber-physical systems.}, url = {http://dblp.uni-trier.de/db/conf/issta/issta2020.html#BartocciMMMNP20}, year = 2020 }