%0 Conference Paper %1 monga13:mardigras %A Bellettini, Carlo %A Camilli, Matteo %A Capra, Lorenzo %A Monga, Mattia %B Proceedings of 7th International Workshop on Reachability Problems (RP 2013) %C Heidelberg %D 2013 %E Abdulla, P.A. %E Potapov, I. %I Springer %K Petri_nets cloud_computing myown sw_eng %P 83--95 %R http://dx.doi.org/10.1007/978-3-642-41036-9_9 %T MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters %V 8169 %@ 978-3-642-41035-2

@inproceedings{monga13:mardigras, added-at = {2013-12-28T09:56:39.000+0100}, address = {Heidelberg}, author = {Bellettini, Carlo and Camilli, Matteo and Capra, Lorenzo and Monga, Mattia}, biburl = {https://www.bibsonomy.org/bibtex/249abd59d2e2997b9ebe3391a2166ad70/mmonga}, booktitle = {Proceedings of 7th International Workshop on Reachability Problems {(RP 2013)}}, doi = {http://dx.doi.org/10.1007/978-3-642-41036-9_9}, editor = {Abdulla, P.A. and Potapov, I.}, handle = {http://hdl.handle.net/2434/224871}, interhash = {92896be7ca2f6bcee7ab4732d11322ad}, intrahash = {49abd59d2e2997b9ebe3391a2166ad70}, isbn = {978-3-642-41035-2}, keywords = {Petri_nets cloud_computing myown sw_eng}, language = {english}, location = {Uppsala, Sweden}, month = sep, pages = {83--95}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2013-12-28T09:56:39.000+0100}, title = {{MaRDiGraS}: Simplified Building of Reachability Graphs on Large Clusters}, volume = 8169, year = 2013 }