%0 Conference Paper %1 LiaoStanleyWangLafortuneReveliotisMahlke12 %A Liao, Hongwei %A Stanley, Jason %A Wang, Yin %A Lafortune, Stephane %A Reveliotis, Spyros %A Mahlke, Scott %B IEEE Conference on Decision and Control and European Control Conference %D 2011 %I IEEE %K citas, citeulike deadlock, gadara, referencias, siphon %P 1142--1148 %R 10.1109/cdc.2011.6160535 %T Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets %U http://dx.doi.org/10.1109/cdc.2011.6160535 %@ 978-1-61284-801-3

@inproceedings{LiaoStanleyWangLafortuneReveliotisMahlke12, added-at = {2017-09-08T10:52:59.000+0200}, author = {Liao, Hongwei and Stanley, Jason and Wang, Yin and Lafortune, Stephane and Reveliotis, Spyros and Mahlke, Scott}, biburl = {https://www.bibsonomy.org/bibtex/2b15a677a55d3ef77102a7f76db0ee6e5/fernand0}, booktitle = {IEEE Conference on Decision and Control and European Control Conference}, citeulike-article-id = {12375963}, citeulike-linkout-0 = {http://dx.doi.org/10.1109/cdc.2011.6160535}, citeulike-linkout-1 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6160535}, doi = {10.1109/cdc.2011.6160535}, interhash = {1a5ddc82ff74c98cec7fa84e5d6ee56d}, intrahash = {b15a677a55d3ef77102a7f76db0ee6e5}, isbn = {978-1-61284-801-3}, keywords = {citas, citeulike deadlock, gadara, referencias, siphon}, location = {Orlando, FL, USA}, month = dec, pages = {1142--1148}, posted-at = {2013-05-28 17:26:21}, priority = {2}, publisher = {IEEE}, timestamp = {2017-09-08T10:53:23.000+0200}, title = {{Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets}}, url = {http://dx.doi.org/10.1109/cdc.2011.6160535}, year = 2011 }