@InProceedings{Mancini_etal2015,
author="Mancini, Toni
and Mari, Federico
and Massini, Annalisa
and Melatti, Igor
and Tronci, Enrico",
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 (http://mclab.di.uniroma1.it/publications/show.php?record=123), last updated on Wed, 13 Jan 2016 17:22:56 +0100",
doi="10.1109/PDP.2015.119",
opturl="https://doi.org/10.1109/PDP.2015.119",
file=":http://mclab.di.uniroma1.it/publications/papers/mancini/2015/123_Mancini_etal2015.pdf:PDF"
}