PT Unknown
AU Mancini, T
   Mari, F
   Massini, A
   Melatti, I
   Merli, F
   Tronci, E
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
PY 2013
BP 296
EP 312
VL 8044
DI 10.1007/978-3-642-39799-8_21
ER