%0 Conference Paper %1 conf/popl/GantyMR09 %A Ganty, Pierre %A Majumdar, Rupak %A Rybalchenko, Andrey %B POPL %D 2009 %E Shao, Zhong %E Pierce, Benjamin C. %I ACM %K %P 102-113 %T Verifying liveness for asynchronous programs. %U http://dblp.uni-trier.de/db/conf/popl/popl2009.html#GantyMR09 %@ 978-1-60558-379-2

@inproceedings{conf/popl/GantyMR09, added-at = {2023-12-14T14:14:40.000+0100}, author = {Ganty, Pierre and Majumdar, Rupak and Rybalchenko, Andrey}, biburl = {https://www.bibsonomy.org/bibtex/233fc82ff49c4071e0326cebce2168a38/admin}, booktitle = {POPL}, crossref = {conf/popl/2009}, editor = {Shao, Zhong and Pierce, Benjamin C.}, ee = {https://doi.org/10.1145/1480881.1480895}, interhash = {dde80a71039cf7f93d34f05a50187ce3}, intrahash = {33fc82ff49c4071e0326cebce2168a38}, isbn = {978-1-60558-379-2}, keywords = {}, pages = {102-113}, publisher = {ACM}, timestamp = {2023-12-14T14:14:40.000+0100}, title = {Verifying liveness for asynchronous programs.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2009.html#GantyMR09}, year = 2009 }