@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="Fundam. Inform.",
year="2016",
volume="149",
number="1-2",
pages="101--132",
optnote="exported from refbase (show.php?record=63), last updated on Thu, 12 Jan 2017 14:55:16 +0100",
doi="10.3233/FI-2016-1444",
file=":papers/mancini/2016/63\textit{Mancini}etal2016.pdf:PDF"
}