TY  - CONF
AU  - Mancini, Toni
AU  - Mari, Federico
AU  - Massini, Annalisa
AU  - Melatti, Igor
AU  - Merli, Fabio
AU  - Tronci, Enrico
PY  - 2013
DA  - 2013//
TI  - System Level Formal Verification via Model Checking Driven Simulation
T2  - CAV 2013
BT  - Proceedings of the 25th International Conference on Computer Aided Verification. July 13-19, 2013, Saint Petersburg, Russia
T3  - Lecture Notes in Computer Science
SP  - 296
EP  - 312
VL  - 8044
PB  - Springer - Verlag
SN  - 0302-9743
SN  - 978-3-642-39798-1
L1  - http://mclab.di.uniroma1.it/publications/papers/mancini/2013/113_Mancini_etal2013.pdf
UR  - https://doi.org/10.1007/978-3-642-39799-8_21
DO  - 10.1007/978-3-642-39799-8_21
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=113), last updated on Mon, 23 Mar 2015 11:29:18 +0100
ID  - Mancini_etal2013
ER  -