%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-ECE %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 = {2012-03-08T00:00:00.000+0100}, author = {Liao, Hongwei and Stanley, Jason and Wang, Yin and Lafortune, Stéphane and Reveliotis, Spyros A. and Mahlke, Scott A.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/276d0bf6826c35e0a27c6393e6206bf17/dblp}, booktitle = {CDC-ECE}, crossref = {conf/cdc/2011}, ee = {http://dx.doi.org/10.1109/CDC.2011.6160535}, interhash = {1a5ddc82ff74c98cec7fa84e5d6ee56d}, intrahash = {76d0bf6826c35e0a27c6393e6206bf17}, isbn = {978-1-61284-800-6}, keywords = {dblp}, pages = {1142-1148}, publisher = {IEEE}, timestamp = {2016-02-19T10:34:08.000+0100}, 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 }