%0 Conference Paper %1 conf/case/WangLNRKML09 %A Wang, Yin %A Liao, Hongwei %A Nazeem, Ahmed %A Reveliotis, Spyros A. %A Kelly, Terence %A Mahlke, Scott A. %A Lafortune, Stéphane %B CASE %D 2009 %I IEEE %K %P 37-41 %T Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract). %U http://dblp.uni-trier.de/db/conf/case/case2009.html#WangLNRKML09 %@ 978-1-4244-4578-3

@inproceedings{conf/case/WangLNRKML09, added-at = {2023-12-14T16:08:06.000+0100}, author = {Wang, Yin and Liao, Hongwei and Nazeem, Ahmed and Reveliotis, Spyros A. and Kelly, Terence and Mahlke, Scott A. and Lafortune, Stéphane}, biburl = {https://www.bibsonomy.org/bibtex/29cb3d654747bfaebd21ace7f8ce2cf1f/admin}, booktitle = {CASE}, crossref = {conf/case/2009}, ee = {https://doi.org/10.1109/COASE.2009.5234118}, interhash = {f3fd6a56d288f8ecddd418561622e217}, intrahash = {9cb3d654747bfaebd21ace7f8ce2cf1f}, isbn = {978-1-4244-4578-3}, keywords = {}, pages = {37-41}, publisher = {IEEE}, timestamp = {2023-12-14T16:08:06.000+0100}, title = {Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract).}, url = {http://dblp.uni-trier.de/db/conf/case/case2009.html#WangLNRKML09}, year = 2009 }