%0 Journal Article %1 journals/tac/StanleyLL15 %A Stanley, Jason %A Liao, Hongwei %A Lafortune, Stéphane %D 2015 %J IEEE Trans. Autom. Control. %K dblp %N 12 %P 3269-3274 %T SAT-Based Control of Concurrent Software for Deadlock Avoidance. %U http://dblp.uni-trier.de/db/journals/tac/tac60.html#StanleyLL15 %V 60

@article{journals/tac/StanleyLL15, added-at = {2021-07-25T00:00:00.000+0200}, author = {Stanley, Jason and Liao, Hongwei and Lafortune, Stéphane}, biburl = {https://www.bibsonomy.org/bibtex/2048be9455c59e787f2b9db9ecd1310b9/dblp}, ee = {https://doi.org/10.1109/TAC.2015.2426232}, interhash = {31b0def24d550cce04db06dbd68f8308}, intrahash = {048be9455c59e787f2b9db9ecd1310b9}, journal = {IEEE Trans. Autom. Control.}, keywords = {dblp}, number = 12, pages = {3269-3274}, timestamp = {2024-04-08T17:33:04.000+0200}, title = {SAT-Based Control of Concurrent Software for Deadlock Avoidance.}, url = {http://dblp.uni-trier.de/db/journals/tac/tac60.html#StanleyLL15}, volume = 60, year = 2015 }