%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
}