%0 Journal Article
%T SyLVaaS: System Level Formal Verification as a Service
%A Mancini, T.
%A Mari, F.
%A Massini, A.
%A Melatti, I.
%A Tronci, E.
%J Fundamenta Informaticae
%D 2016
%V 149
%N 1-2
%F Mancini_etal2016
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=160), last updated on Thu, 27 Apr 2017 11:34:50 +0200
%R 10.3233/FI-2016-1444
%U http://mclab.di.uniroma1.it/publications/papers/mancini/2016/160_Mancini_etal2016.pdf
%U https://doi.org/10.3233/FI-2016-1444
%P 101-132