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 | |||
Year | 2013 | Publication | Proceedings of the 25th International Conference on Computer Aided Verification (CAV 2013). July 13–19, 2013, Saint Petersburg, Russia | Abbreviated Journal | |
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 | 978-3-642-39798-1 | ISBN | Medium | ||
Area | Expedition | Conference | |||
Notes | Approved | ||||
Call Number | UNIROMA1 @ davi @ Mancini_etal2013 | Serial | 21 | ||
Permanent link to this record |