%0 Conference Paper %1 conf/cdc/WangLRKML09 %A Wang, Yin %A Liao, Hongwei %A Reveliotis, Spyros A. %A Kelly, Terence %A Mahlke, Scott A. %A Lafortune, Stéphane %B CDC %D 2009 %I IEEE %K dblp %P 4971-4976 %T Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software. %U http://dblp.uni-trier.de/db/conf/cdc/cdc2009.html#WangLRKML09 %@ 978-1-4244-3872-3

@inproceedings{conf/cdc/WangLRKML09, added-at = {2021-07-25T00:00:00.000+0200}, author = {Wang, Yin and Liao, Hongwei and Reveliotis, Spyros A. and Kelly, Terence and Mahlke, Scott A. and Lafortune, Stéphane}, biburl = {https://www.bibsonomy.org/bibtex/2c8c6282a0936c95549e609baefd7bf18/dblp}, booktitle = {CDC}, crossref = {conf/cdc/2009}, ee = {https://doi.org/10.1109/CDC.2009.5399950}, interhash = {50b524dda2af8915499cccc6334dda7c}, intrahash = {c8c6282a0936c95549e609baefd7bf18}, isbn = {978-1-4244-3872-3}, keywords = {dblp}, pages = {4971-4976}, publisher = {IEEE}, timestamp = {2024-04-09T15:20:36.000+0200}, title = {Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software.}, url = {http://dblp.uni-trier.de/db/conf/cdc/cdc2009.html#WangLRKML09}, year = 2009 }