PT Unknown
AU Mancini, T
   Mari, F
   Massini, A
   Melatti, I
   Tronci, E
TI SyLVaaS: System Level Formal Verification as a Service
BT 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)
PY 2015
DI 10.1109/PDP.2015.119
ER