Automatic Completion of Distributed Protocols with Symmetry

Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

6 Citations (Scopus)
Original languageEnglish
Title of host publication27th International Conference on Computer Aided Verification (CAV), San Francisco, CA, USA, July 18-24, 2015
Pages395-412
ISBN (Electronic)978-3-319-21668-3
DOIs
Publication statusPublished - 2015
MoE publication typeA4 Article in a conference publication

Publication series

Name
ISSN (Print)0302-9743

Cite this