%0 Conference Paper %1 conf/pldi/KraglEHMQ20 %A Kragl, Bernhard %A Enea, Constantin %A Henzinger, Thomas A. %A Mutluergil, Suha Orhun %A Qadeer, Shaz %B PLDI %D 2020 %E Donaldson, Alastair F. %E Torlak, Emina %I ACM %K dblp %P 227-242 %T Inductive sequentialization of asynchronous programs. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2020.html#KraglEHMQ20 %@ 978-1-4503-7613-6

@inproceedings{conf/pldi/KraglEHMQ20, added-at = {2020-09-05T00:00:00.000+0200}, author = {Kragl, Bernhard and Enea, Constantin and Henzinger, Thomas A. and Mutluergil, Suha Orhun and Qadeer, Shaz}, biburl = {https://www.bibsonomy.org/bibtex/232b06721cbd37e90503956f62ecd799c/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2020}, editor = {Donaldson, Alastair F. and Torlak, Emina}, ee = {https://doi.org/10.1145/3385412.3385980}, interhash = {10970473a5b8e2255baee929088c8641}, intrahash = {32b06721cbd37e90503956f62ecd799c}, isbn = {978-1-4503-7613-6}, keywords = {dblp}, pages = {227-242}, publisher = {ACM}, timestamp = {2020-09-09T14:22:20.000+0200}, title = {Inductive sequentialization of asynchronous programs.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2020.html#KraglEHMQ20}, year = 2020 }