%0 Conference Paper %1 conf/icse/MarinoHDVTV13 %A Marino, Daniel %A Hammer, Christian %A Dolby, Julian %A Vaziri, Mandana %A Tip, Frank %A Vitek, Jan %B ICSE %D 2013 %E Notkin, David %E Cheng, Betty H. C. %E Pohl, Klaus %I IEEE Computer Society %K dblp %P 322-331 %T Detecting deadlock in programs with data-centric synchronization. %U http://dblp.uni-trier.de/db/conf/icse/icse2013.html#MarinoHDVTV13 %@ 978-1-4673-3076-3

@inproceedings{conf/icse/MarinoHDVTV13, added-at = {2023-03-23T00:00:00.000+0100}, author = {Marino, Daniel and Hammer, Christian and Dolby, Julian and Vaziri, Mandana and Tip, Frank and Vitek, Jan}, biburl = {https://www.bibsonomy.org/bibtex/26883cdef50eeb6693441511e52b480f9/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2013}, editor = {Notkin, David and Cheng, Betty H. C. and Pohl, Klaus}, ee = {http://dl.acm.org/citation.cfm?id=2486831}, interhash = {7ef0a0540654ae82d1b506c5d7897b30}, intrahash = {6883cdef50eeb6693441511e52b480f9}, isbn = {978-1-4673-3076-3}, keywords = {dblp}, pages = {322-331}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:37:17.000+0200}, title = {Detecting deadlock in programs with data-centric synchronization.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2013.html#MarinoHDVTV13}, year = 2013 }