%0 Conference Paper %1 monga12:synasc %A Bellettini, Carlo %A Camilli, Matteo %A Capra, Lorenzo %A Monga, Mattia %B Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2012) %C Timisoara, Romania %D 2012 %I IEEE Computer Society %K Petri_nets cloud_computing myown sw_eng %P 295--302 %R http://dx.doi.org/10.1109/SYNASC.2012.18 %T Symbolic State Space Exploration of RT Systems in the Cloud %@ 978-1-4673-5026-6

@inproceedings{monga12:synasc, added-at = {2013-12-28T09:56:39.000+0100}, address = {Timisoara, Romania}, author = {Bellettini, Carlo and Camilli, Matteo and Capra, Lorenzo and Monga, Mattia}, biburl = {https://www.bibsonomy.org/bibtex/2a1cd11194168c09823b9b72328fdf52d/mmonga}, booktitle = {Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ({SYNASC 2012})}, doi = {http://dx.doi.org/10.1109/SYNASC.2012.18}, handle = {http://hdl.handle.net/2434/219107}, interhash = {254292e5792b168a698138aa56720ce6}, intrahash = {a1cd11194168c09823b9b72328fdf52d}, isbn = {978-1-4673-5026-6}, keywords = {Petri_nets cloud_computing myown sw_eng}, language = {english}, month = sep, organization = {IEEE CS}, pages = {295--302}, publisher = {{IEEE} Computer Society}, timestamp = {2013-12-28T09:56:39.000+0100}, title = {Symbolic State Space Exploration of {RT} Systems in the Cloud}, year = 2012 }