TY  - RPRT
TI  - Distributed CTL Model Checking in the Cloud
AU  - Carlo Bellettini
AU  - Matteo Camilli
AU  - Lorenzo Capra
AU  - Mattia Monga
PY  - 2013
DO  - 10.1109/synasc.2014.52
UR  - https://arxiv.org/abs/1310.6670
ID  - 1310.6670
ER  -