Automatic Completion of Distributed Protocols with Symmetry
| Title | Automatic Completion of Distributed Protocols with Symmetry |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa |
| Conference Name | Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II |
| Keywords | 1329759 |
| URL | https://doi.org/10.1007/978-3-319-21668-3_23 |
| DOI | 10.1007/978-3-319-21668-3_23 |
| Citation Key | DBLP:conf/cav/AlurRSTU15 |