%0 Conference Proceedings
%T SyLVaaS: System Level Formal Verification as a Service
%A Mancini, Toni
%A Mari, Federico
%A Massini, Annalisa
%A Melatti, Igor
%A Tronci, Enrico
%S 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 (http://mclab.di.uniroma1.it/publications/show.php?record=123), last updated on Wed, 13 Jan 2016 17:22:56 +0100
%R 10.1109/PDP.2015.119
%U http://mclab.di.uniroma1.it/publications/papers/mancini/2015/123_Mancini_etal2015.pdf
%U https://doi.org/10.1109/PDP.2015.119