@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. 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 (http://mclab.di.uniroma1.it/publications/show.php?record=113), last updated on Mon, 23 Mar 2015 11:29:18 +0100",
isbn="978-3-642-39798-1",
issn="0302-9743",
doi="10.1007/978-3-642-39799-8_21",
opturl="https://doi.org/10.1007/978-3-642-39799-8_21",
file=":http://mclab.di.uniroma1.it/publications/papers/mancini/2013/113_Mancini_etal2013.pdf:PDF"
}