%0 Journal Article %1 journals/corr/AlurRSTU15 %A Alur, Rajeev %A Raghothaman, Mukund %A Stergiou, Christos %A Tripakis, Stavros %A Udupa, Abhishek %D 2015 %J CoRR %K %T Automatic Completion of Distributed Protocols with Symmetry. %U http://dblp.uni-trier.de/db/journals/corr/corr1505.html#AlurRSTU15 %V abs/1505.04409

@article{journals/corr/AlurRSTU15, added-at = {2023-12-13T05:07:49.000+0100}, author = {Alur, Rajeev and Raghothaman, Mukund and Stergiou, Christos and Tripakis, Stavros and Udupa, Abhishek}, biburl = {https://www.bibsonomy.org/bibtex/244f73c1efe235ee883d3b00bc7ddec5b/admin}, ee = {http://arxiv.org/abs/1505.04409}, interhash = {9ecb0cab58e2c7c1bd4e46e61cf27abc}, intrahash = {44f73c1efe235ee883d3b00bc7ddec5b}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T05:07:49.000+0100}, title = {Automatic Completion of Distributed Protocols with Symmetry.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1505.html#AlurRSTU15}, volume = {abs/1505.04409}, year = 2015 }