Efficient Synthesis for Concurrency by Semantics-Preserving Transformations (bibtex)
by Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
Reference:
Efficient Synthesis for Concurrency by Semantics-Preserving TransformationsPavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten TarrachCAV, pages 951-967, 2013.
Bibtex Entry:
@inproceedings{CernyHRRT13,
title = {Efficient Synthesis for Concurrency by Semantics-Preserving Transformations},
ee = {http://dx.doi.org/10.1007/978-3-642-39799-8_68},
booktitle = {CAV},
author = {Pavol Cern{\'y} and Thomas A. Henzinger and Arjun Radhakrishna and
Leonid Ryzhyk and Thorsten Tarrach},
url = {/pubpdf/Efficient_Synthesis_for_Concurrency_by_Semantics-Preserving_Transformations.pdf},
year = {2013},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {951-967},
crossref = {DBLP:conf/cav/2013},
}
Powered by bibtexbrowser