%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
%S Proceedings of the 25th International Conference on Computer Aided Verification. July 13-19, 2013, Saint Petersburg, Russia
%S Lecture Notes in Computer Science
%D 2013
%V 8044
%I Springer - Verlag
%@ 0302-9743
%@ 978-3-642-39798-1
%F Mancini_etal2013
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=113), last updated on Mon, 23 Mar 2015 11:29:18 +0100
%R 10.1007/978-3-642-39799-8_21
%U http://mclab.di.uniroma1.it/publications/papers/mancini/2013/113_Mancini_etal2013.pdf
%U https://doi.org/10.1007/978-3-642-39799-8_21
%P 296-312