%0 Conference Paper %1 conf/synasc/BellettiniCCM12 %A Bellettini, Carlo %A Camilli, Matteo %A Capra, Lorenzo %A Monga, Mattia %B SYNASC %D 2012 %E Voronkov, Andrei %E Negru, Viorel %E Ida, Tetsuo %E Jebelean, Tudor %E Petcu, Dana %E Watt, Stephen M. %E Zaharie, Daniela %I IEEE Computer Society %K dblp %P 295-302 %T Symbolic State Space Exploration of RT Systems in the Cloud. %U http://dblp.uni-trier.de/db/conf/synasc/synasc2012.html#BellettiniCCM12 %@ 978-1-4673-5026-6

@inproceedings{conf/synasc/BellettiniCCM12, added-at = {2023-03-24T00:00:00.000+0100}, author = {Bellettini, Carlo and Camilli, Matteo and Capra, Lorenzo and Monga, Mattia}, biburl = {https://www.bibsonomy.org/bibtex/2ecac9db2628a9e930be804900a400582/dblp}, booktitle = {SYNASC}, crossref = {conf/synasc/2012}, editor = {Voronkov, Andrei and Negru, Viorel and Ida, Tetsuo and Jebelean, Tudor and Petcu, Dana and Watt, Stephen M. and Zaharie, Daniela}, ee = {https://doi.ieeecomputersociety.org/10.1109/SYNASC.2012.18}, interhash = {254292e5792b168a698138aa56720ce6}, intrahash = {ecac9db2628a9e930be804900a400582}, isbn = {978-1-4673-5026-6}, keywords = {dblp}, pages = {295-302}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:14:12.000+0200}, title = {Symbolic State Space Exploration of RT Systems in the Cloud.}, url = {http://dblp.uni-trier.de/db/conf/synasc/synasc2012.html#BellettiniCCM12}, year = 2012 }