| Home | << 1 >> |
|
| Record | |||||
|---|---|---|---|---|---|
| Author | Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Merli, Fabio; Tronci, Enrico | ||||
| Title | System Level Formal Verification via Model Checking Driven Simulation | Type | Conference Article | ||
| Year | 2013 | Publication | Proceedings of the 25th International Conference on Computer Aided Verification. July 13-19, 2013, Saint Petersburg, Russia | Abbreviated Journal | CAV 2013 |
| Volume | Issue | Pages | 296-312 | ||
| Keywords | |||||
| Abstract | |||||
| Address | |||||
| Corporate Author | Thesis | ||||
| Publisher | Springer - Verlag | Place of Publication | Editor | ||
| Language | Summary Language | Original Title | |||
| Series Editor | Series Title | Lecture Notes in Computer Science | Abbreviated Series Title | ||
| Series Volume | 8044 | Series Issue | Edition | ||
| ISSN | 0302-9743 | ISBN | 978-3-642-39798-1 | Medium | |
| Area | Expedition | Conference | |||
Notes  |
Approved | yes | |||
| Call Number | Sapienza @ mari @ | Serial | 113 | ||
| Permanent link to this record | |||||