@InProceedings{Mancini_etal2015,
author="Mancini, T.
and Mari, F.
and Massini, A.
and Melatti, I.
and Tronci, E.",
title="SyLVaaS: System Level Formal Verification as a Service",
booktitle="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)",
year="2015",
optnote="exported from refbase (show.php?record=47), last updated on Wed, 09 Dec 2015 16:26:55 +0100",
doi="10.1109/PDP.2015.119",
file=":papers/tonimancini/2015/47\_ToniMancini2015.pdf:PDF"
}