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
SE Proceedings of the 25th International Conference on Computer Aided Verification. 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