Home | << 1 >> |
Record | |||||
---|---|---|---|---|---|
Author | Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. | ||||
Title | SyLVaaS: System Level Formal Verification as a Service | Type | |||
Year | 2016 | Publication | Fundam. Inform. | Abbreviated Journal | |
Volume | 149 | Issue | 1-2 | Pages | 101-132 |
Keywords | |||||
Abstract | |||||
Address | |||||
Corporate Author | Thesis | ||||
Publisher | Place of Publication | Editor | |||
Language | Summary Language | Original Title | |||
Series Editor | Series Title | Abbreviated Series Title | |||
Series Volume | Series Issue | Edition | |||
ISSN | ISBN | Medium | |||
Area | Expedition | Conference | |||
Notes | Approved | ||||
Call Number | UNIROMA1 @ davi @ DBLP:journals/fuin/ManciniMMMT16 | Serial | 63 | ||
Permanent link to this record |