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]
Abstract is missing.