%0 Conference Paper %1 conf/cdc/LiaoSWLRM11 %A Liao, Hongwei %A Stanley, Jason %A Wang, Yin %A Lafortune, Stéphane %A Reveliotis, Spyros A. %A Mahlke, Scott A. %B CDC/ECC %D 2011 %I IEEE %K dblp %P 1142-1148 %T Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets. %U http://dblp.uni-trier.de/db/conf/cdc/cdc2011.html#LiaoSWLRM11 %@ 978-1-61284-800-6

@inproceedings{conf/cdc/LiaoSWLRM11, added-at = {2021-07-25T00:00:00.000+0200}, author = {Liao, Hongwei and Stanley, Jason and Wang, Yin and Lafortune, Stéphane and Reveliotis, Spyros A. and Mahlke, Scott A.}, biburl = {https://www.bibsonomy.org/bibtex/2c1aa9b22f5b5e8a9482f76fb08c7f05d/dblp}, booktitle = {CDC/ECC}, crossref = {conf/cdc/2011}, ee = {https://doi.org/10.1109/CDC.2011.6160535}, interhash = {1a5ddc82ff74c98cec7fa84e5d6ee56d}, intrahash = {c1aa9b22f5b5e8a9482f76fb08c7f05d}, isbn = {978-1-61284-800-6}, keywords = {dblp}, pages = {1142-1148}, publisher = {IEEE}, timestamp = {2024-04-09T15:13:58.000+0200}, title = {Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets.}, url = {http://dblp.uni-trier.de/db/conf/cdc/cdc2011.html#LiaoSWLRM11}, year = 2011 }