| Home | << 1 >> |
|
| Author | Title | Year  |
Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Merli, Fabio; Tronci, Enrico | System Level Formal Verification via Model Checking Driven Simulation | 2013 | Proceedings of the 25th International Conference on Computer Aided Verification. July 13-19, 2013, Saint Petersburg, Russia | Springer - Verlag | 0302-9743 | 978-3-642-39798-1 | 10.1007/978-3-642-39799-8_21 | 296-312 |