%0 Conference Proceedings
%T SyLVaaS: System Level Formal Verification as a Service
%A Mancini, T.
%A Mari, F.
%A Massini, A.
%A Melatti, I.
%A Tronci, E.
%B 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)
%D 2015
%F Mancini_etal2015
%O exported from refbase (show.php?record=47), last updated on Wed, 09 Dec 2015 16:26:55 +0100
%U papers/tonimancini/2015/47_ToniMancini2015.pdf
%U http://dx.doi.org/10.1109/PDP.2015.119