Automatic Completion of Distributed Protocols with Symmetry - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa. Automatic Completion of Distributed Protocols with Symmetry. In Daniel Kroening, Corina S. Pasareanu, editors, Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II. Volume 9207 of Lecture Notes in Computer Science, pages 395-412, Springer, 2015. [doi]

This author has not been identified. It may be one of the following persons:

Rajeev Alur

Look up 'Rajeev Alur' in GoogleThis author has not been identified. Look up 'Mukund Raghothaman' in GoogleThis author has not been identified. Look up 'Christos Stergiou' in GoogleThis author has not been identified. It may be one of the following persons:

Stavros Tripakis

Look up 'Stavros Tripakis' in GoogleThis author has not been identified. Look up 'Abhishek Udupa' in Google

runs on WebDSL