%0 Conference Paper %1 conf/sefm/BernasconiMSZG17 %A Bernasconi, Anna %A Menghi, Claudio %A Spoletini, Paola %A Zuck, Lenore D. %A Ghezzi, Carlo %B SEFM %D 2017 %E Cimatti, Alessandro %E Sirjani, Marjan %I Springer %K dblp %P 54-69 %T From Model Checking to a Temporal Proof for Partial Models. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2017.html#BernasconiMSZG17 %V 10469 %@ 978-3-319-66197-1

@inproceedings{conf/sefm/BernasconiMSZG17, added-at = {2022-04-09T00:00:00.000+0200}, author = {Bernasconi, Anna and Menghi, Claudio and Spoletini, Paola and Zuck, Lenore D. and Ghezzi, Carlo}, biburl = {https://www.bibsonomy.org/bibtex/2b64355b98ebf8d2a39136bb740fe09af/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2017}, editor = {Cimatti, Alessandro and Sirjani, Marjan}, ee = {https://doi.org/10.1007/978-3-319-66197-1_4}, interhash = {e87cd90302fd4f32d40e6453cb9ffe24}, intrahash = {b64355b98ebf8d2a39136bb740fe09af}, isbn = {978-3-319-66197-1}, keywords = {dblp}, pages = {54-69}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:21:40.000+0200}, title = {From Model Checking to a Temporal Proof for Partial Models.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2017.html#BernasconiMSZG17}, volume = 10469, year = 2017 }