%0 Conference Proceedings
%T System Level Formal Verification via Model Checking Driven Simulation
%A Mancini, Toni
%A Mari, Federico
%A Massini, Annalisa
%A Melatti, Igor
%A Merli, Fabio
%A Tronci, Enrico
%B Proceedings of the 25th International Conference on Computer Aided Verification (CAV 2013). July 13–19, 2013, Saint Petersburg, Russia
%D 2013
%V 8044
%I Springer - Verlag
%@ 978-3-642-39798-1
%F Mancini_etal2013
%O exported from refbase (show.php?record=21), last updated on Thu, 23 Oct 2014 15:16:53 +0200
%U papers/mancini/2013/21_Mancini_etal2013.pdf
%U http://dx.doi.org/10.1007/978-3-642-39799-8_21
%P 296-312