TY  - CONF
AU  - Mancini, Toni
AU  - Mari, Federico
AU  - Massini, Annalisa
AU  - Melatti, Igor
AU  - Merli, Fabio
AU  - Tronci, Enrico
PY  - 2013//
TI  - System Level Formal Verification via Model Checking Driven Simulation
BT  - Proceedings of the 25th International Conference on Computer Aided Verification (CAV 2013). July 13–19, 2013, Saint Petersburg, Russia
T3  - Lecture Notes in Computer Science
SP  - 296
EP  - 312
VL  - 8044
PB  - Springer - Verlag
SN  - 978-3-642-39798-1
L1  - papers/mancini/2013/21_Mancini_etal2013.pdf
UR  - http://dx.doi.org/10.1007/978-3-642-39799-8_21
N1  - exported from refbase (show.php?record=21), last updated on Thu, 23 Oct 2014 15:16:53 +0200
ID  - Mancini_etal2013
ER  -