%0 Conference Paper %1 conf/concur/GiroDF09 %A Giro, Sergio %A D'Argenio, Pedro R. %A Fioriti, Luis María Ferrer %B CONCUR %D 2009 %E Bravetti, Mario %E Zavattaro, Gianluigi %I Springer %K dblp %P 338-353 %T Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers. %U http://dblp.uni-trier.de/db/conf/concur/concur2009.html#GiroDF09 %V 5710 %@ 978-3-642-04080-1

@inproceedings{conf/concur/GiroDF09, added-at = {2018-11-02T00:00:00.000+0100}, author = {Giro, Sergio and D'Argenio, Pedro R. and Fioriti, Luis María Ferrer}, biburl = {https://www.bibsonomy.org/bibtex/2393496373706d13aff80a1e81e08f981/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2009}, editor = {Bravetti, Mario and Zavattaro, Gianluigi}, ee = {https://doi.org/10.1007/978-3-642-04081-8_23}, interhash = {d81c359459c465399d23dba2eabffd16}, intrahash = {393496373706d13aff80a1e81e08f981}, isbn = {978-3-642-04080-1}, keywords = {dblp}, pages = {338-353}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:56:45.000+0200}, title = {Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2009.html#GiroDF09}, volume = 5710, year = 2009 }