Automatic Completion of Distributed Protocols with Symmetry

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

doi:10.1007/978-3-319-21668-3_23

Automatic Completion of Distributed Protocols with Symmetry

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

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

11 Citations (Scopus)

Original language	English
Title of host publication	27th International Conference on Computer Aided Verification (CAV), San Francisco, CA, USA, July 18-24, 2015
Pages	395-412
ISBN (Electronic)	978-3-319-21668-3
DOIs	https://doi.org/10.1007/978-3-319-21668-3_23
Publication status	Published - 2015
MoE publication type	A4 Conference publication

Publication series

Name
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-319-21668-3_23

Cite this

@inproceedings{14243023096d4e598711eb51eaf33c27,

title = "Automatic Completion of Distributed Protocols with Symmetry",

author = "Rajeev Alur and Mukund Raghothaman and Christos Stergiou and Stavros Tripakis and Abhishek Udupa",

note = "VK: Tripakis, S.",

year = "2015",

doi = "10.1007/978-3-319-21668-3\_23",

language = "English",

isbn = "978-3-319-21667-6",

pages = "395--412",

booktitle = "27th International Conference on Computer Aided Verification (CAV), San Francisco, CA, USA, July 18-24, 2015",

}

Automatic Completion of Distributed Protocols with Symmetry. / Alur, Rajeev; Raghothaman, Mukund; Stergiou, Christos et al.
27th International Conference on Computer Aided Verification (CAV), San Francisco, CA, USA, July 18-24, 2015. 2015. p. 395-412.

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

TY - GEN

T1 - Automatic Completion of Distributed Protocols with Symmetry

AU - Alur, Rajeev

AU - Raghothaman, Mukund

AU - Stergiou, Christos

AU - Tripakis, Stavros

AU - Udupa, Abhishek

N1 - VK: Tripakis, S.

PY - 2015

Y1 - 2015

UR - https://www.scopus.com/pages/publications/84951053947

U2 - 10.1007/978-3-319-21668-3_23

DO - 10.1007/978-3-319-21668-3_23

M3 - Conference article in proceedings

SN - 978-3-319-21667-6

SP - 395

EP - 412

BT - 27th International Conference on Computer Aided Verification (CAV), San Francisco, CA, USA, July 18-24, 2015

ER -

Automatic Completion of Distributed Protocols with Symmetry

Publication series

Access to Document

Other files and links

Cite this