%0 Conference Paper %1 conf/esop/BouajjaniEEOT17 %A Bouajjani, Ahmed %A Emmi, Michael %A Enea, Constantin %A Ozkan, Burcu Kulahcioglu %A Tasiran, Serdar %B ESOP %D 2017 %E Yang, Hongseok %I Springer %K dblp %P 170-200 %T Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency. %U http://dblp.uni-trier.de/db/conf/esop/esop2017.html#BouajjaniEEOT17 %V 10201 %@ 978-3-662-54434-1

@inproceedings{conf/esop/BouajjaniEEOT17, added-at = {2017-05-19T00:00:00.000+0200}, author = {Bouajjani, Ahmed and Emmi, Michael and Enea, Constantin and Ozkan, Burcu Kulahcioglu and Tasiran, Serdar}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/292bf2e36a6a36bf433a54f73938803d7/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2017}, editor = {Yang, Hongseok}, ee = {https://doi.org/10.1007/978-3-662-54434-1_7}, interhash = {a7306dcecabe104252053c0e92f9d484}, intrahash = {92bf2e36a6a36bf433a54f73938803d7}, isbn = {978-3-662-54434-1}, keywords = {dblp}, pages = {170-200}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:30:14.000+0200}, title = {Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2017.html#BouajjaniEEOT17}, volume = 10201, year = 2017 }