TY  - JOUR
AU  - Mancini, T.
AU  - Mari, F.
AU  - Massini, A.
AU  - Melatti, I.
AU  - Tronci, E.
PY  - 2016
DA  - 2016//
TI  - SyLVaaS: System Level Formal Verification as a Service
JO  - Fundamenta Informaticae
SP  - 101
EP  - 132
VL  - 149
IS  - 1-2
L1  - http://mclab.di.uniroma1.it/publications/papers/mancini/2016/160_Mancini_etal2016.pdf
UR  - https://doi.org/10.3233/FI-2016-1444
DO  - 10.3233/FI-2016-1444
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=160), last updated on Thu, 27 Apr 2017 11:34:50 +0200
ID  - Mancini_etal2016
ER  -