@InProceedings{Mancini_etal2013,
author="Mancini, Toni
and Mari, Federico
and Massini, Annalisa
and Melatti, Igor
and Merli, Fabio
and Tronci, Enrico",
title="System Level Formal Verification via Model Checking Driven Simulation",
booktitle="Proceedings of the 25th International Conference on Computer Aided Verification (CAV 2013). July 13--19, 2013, Saint Petersburg, Russia",
series="Lecture Notes in Computer Science",
year="2013",
publisher="Springer - Verlag",
volume="8044",
pages="296--312",
optnote="exported from refbase (show.php?record=21), last updated on Thu, 23 Oct 2014 15:16:53 +0200",
issn="978-3-642-39798-1",
doi="10.1007/978-3-642-39799-8_21",
file=":papers/mancini/2013/21\textit{Mancini}etal2013.pdf:PDF"
}