Symbolic state space exploration of RT systems in the cloud (2012)

by Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga
Venue:In Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012