Reference

2013
Efficient Synthesis for Concurrency using Semantics-Preserving Transformations
CAV 2013: International Conference on Computer Aided Verification

Abstract

BibTeX

@string{CAV = "International Conference on Computer Aided Verification (CAV)"}
@inproceedings{concursyn-cav13,
  author = {Pavol Černý and Thomas A. Henzinger and Arjun Radhakrishna and Leonid Ryzhyk and Thorsten Tarrach},
  title = {Efficient Synthesis for Concurrency using Semantics-Preserving Transformations},
  booktitle = CAV,
  year = {2013},
}