%0 Conference Paper %1 conf/rp/Chaouch-SaadCM09 %A Chaouch-Saad, Mouna %A Charron-Bost, Bernadette %A Merz, Stephan %B RP %D 2009 %E Bournez, Olivier %E Potapov, Igor %I Springer %K %P 93-106 %T A Reduction Theorem for the Verification of Round-Based Distributed Algorithms. %U http://dblp.uni-trier.de/db/conf/rp/rp2009.html#Chaouch-SaadCM09 %V 5797 %@ 978-3-642-04419-9

@inproceedings{conf/rp/Chaouch-SaadCM09, added-at = {2023-12-13T05:53:01.000+0100}, author = {Chaouch-Saad, Mouna and Charron-Bost, Bernadette and Merz, Stephan}, biburl = {https://www.bibsonomy.org/bibtex/266a9f74267b16d0dfeb88995ea7a95d7/admin}, booktitle = {RP}, crossref = {conf/rp/2009}, editor = {Bournez, Olivier and Potapov, Igor}, ee = {https://doi.org/10.1007/978-3-642-04420-5_10}, interhash = {a7ab7592a67867615342db0baddf57fa}, intrahash = {66a9f74267b16d0dfeb88995ea7a95d7}, isbn = {978-3-642-04419-9}, keywords = {}, pages = {93-106}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T05:53:01.000+0100}, title = {A Reduction Theorem for the Verification of Round-Based Distributed Algorithms.}, url = {http://dblp.uni-trier.de/db/conf/rp/rp2009.html#Chaouch-SaadCM09}, volume = 5797, year = 2009 }