Inproceedings,
Automatic Failure Explanation in CPS Models.
E. Bartocci, N. Manjunath, L. Mariani, C. Mateis, and D. Nickovic.SEFM, volume 11724 of Lecture Notes in Computer Science, page 69-86. Springer, (2019)
Meta data
- BibTeX key
- conf/sefm/BartocciMMMN19
- entry type
- inproceedings
- booktitle
- SEFM
- year
- 2019
- pages
- 69-86
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 11724
- crossref
- conf/sefm/2019
- ee
- https://doi.org/10.1007/978-3-030-30446-1_4
- isbn
- 978-3-030-30446-1
- url
- http://dblp.uni-trier.de/db/conf/sefm/sefm2019.html#BartocciMMMN19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}