TY  - CONF
AU  - Mancini, T.
AU  - Mari, F.
AU  - Massini, A.
AU  - Melatti, I.
AU  - Tronci, E.
PY  - 2015//
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)
L1  - papers/tonimancini/2015/47_ToniMancini2015.pdf
UR  - http://dx.doi.org/10.1109/PDP.2015.119
N1  - exported from refbase (show.php?record=47), last updated on Wed, 09 Dec 2015 16:26:55 +0100
ID  - Mancini_etal2015
ER  -