%0 Journal Article %1 journals/tac/LiaoLRWM13 %A Liao, Hongwei %A Lafortune, Stéphane %A Reveliotis, Spyros A. %A Wang, Yin %A Mahlke, Scott A. %D 2013 %J IEEE Trans. Autom. Control. %K dblp %N 5 %P 1123-1138 %T Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software. %U http://dblp.uni-trier.de/db/journals/tac/tac58.html#LiaoLRWM13 %V 58

@article{journals/tac/LiaoLRWM13, added-at = {2021-07-25T00:00:00.000+0200}, author = {Liao, Hongwei and Lafortune, Stéphane and Reveliotis, Spyros A. and Wang, Yin and Mahlke, Scott A.}, biburl = {https://www.bibsonomy.org/bibtex/2645a044cbb9fcda3c6f98ea07b3fd2fc/dblp}, ee = {https://doi.org/10.1109/TAC.2012.2230814}, interhash = {4fa74167d9b53d9a4df835423b1bf679}, intrahash = {645a044cbb9fcda3c6f98ea07b3fd2fc}, journal = {IEEE Trans. Autom. Control.}, keywords = {dblp}, number = 5, pages = {1123-1138}, timestamp = {2024-04-08T17:30:58.000+0200}, title = {Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software.}, url = {http://dblp.uni-trier.de/db/journals/tac/tac58.html#LiaoLRWM13}, volume = 58, year = 2013 }