| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico | SyLVaaS: System Level Formal Verification as a Service | 2015 | Proceedings of the 23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP 2015), special session on Formal Approaches to Parallel and Distributed Systems (4PAD) | 10.1109/PDP.2015.119 |