@Article{Mancini_etal2016,
author="Mancini, T.
and Mari, F.
and Massini, A.
and Melatti, I.
and Tronci, E.",
title="SyLVaaS: System Level Formal Verification as a Service",
journal="Fundamenta Informaticae",
year="2016",
volume="149",
number="1-2",
pages="101--132",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=160), last updated on Thu, 27 Apr 2017 11:34:50 +0200",
doi="10.3233/FI-2016-1444",
opturl="https://doi.org/10.3233/FI-2016-1444",
file=":http://mclab.di.uniroma1.it/publications/papers/mancini/2016/160_Mancini_etal2016.pdf:PDF"
}