Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga. Symbolic State Space Exploration of RT Systems in the Cloud. In 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012. pages 295-302, IEEE Computer Society, 2012. [doi]
@inproceedings{BellettiniCCM12,
title = {Symbolic State Space Exploration of RT Systems in the Cloud},
author = {Carlo Bellettini and Matteo Camilli and Lorenzo Capra and Mattia Monga},
year = {2012},
doi = {10.1109/SYNASC.2012.18},
url = {http://doi.ieeecomputersociety.org/10.1109/SYNASC.2012.18},
researchr = {https://researchr.org/publication/BellettiniCCM12},
cites = {0},
citedby = {0},
pages = {295-302},
booktitle = {14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012},
publisher = {IEEE Computer Society},
isbn = {978-1-4673-5026-6},
}