TY  - CONF
AU  - Mancini, Toni
AU  - Mari, Federico
AU  - Massini, Annalisa
AU  - Melatti, Igor
AU  - Tronci, Enrico
PY  - 2015
DA  - 2015//
TI  - SyLVaaS: System Level Formal Verification as a Service
BT  - 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)
L1  - http://mclab.di.uniroma1.it/publications/papers/mancini/2015/123_Mancini_etal2015.pdf
UR  - https://doi.org/10.1109/PDP.2015.119
DO  - 10.1109/PDP.2015.119
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=123), last updated on Wed, 13 Jan 2016 17:22:56 +0100
ID  - Mancini_etal2015
ER  -