%0 Journal Article %1 journals/corr/abs-1203-6806 %A Bellettini, Carlo %A Camilli, Matteo %A Capra, Lorenzo %A Monga, Mattia %D 2012 %J CoRR %K dblp %T State Space Exploration of RT Systems in the Cloud %U http://dblp.uni-trier.de/db/journals/corr/corr1203.html#abs-1203-6806 %V abs/1203.6806

@article{journals/corr/abs-1203-6806, added-at = {2018-08-13T00:00:00.000+0200}, author = {Bellettini, Carlo and Camilli, Matteo and Capra, Lorenzo and Monga, Mattia}, biburl = {https://www.bibsonomy.org/bibtex/2fcc0305420112f26725cfcdb36f1501d/dblp}, ee = {http://arxiv.org/abs/1203.6806}, interhash = {14ab41151708afd71964c34025b3b25a}, intrahash = {fcc0305420112f26725cfcdb36f1501d}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T12:11:42.000+0200}, title = {State Space Exploration of RT Systems in the Cloud}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1203.html#abs-1203-6806}, volume = {abs/1203.6806}, year = 2012 }