%0 Journal Article %1 StanleyLiaoLafortune15 %A Stanley, Jason %A Liao, Hongwei %A Lafortune, Stephane %D 2015 %I IEEE %J Automatic Control, IEEE Transactions on %K citeulike concurrent, deadlock, logic, sat, software %N 12 %P 3269--3274 %R 10.1109/tac.2015.2426232 %T SAT-Based Control of Concurrent Software for Deadlock Avoidance %U http://dx.doi.org/10.1109/tac.2015.2426232 %V 60

@article{StanleyLiaoLafortune15, added-at = {2017-09-08T10:52:59.000+0200}, author = {Stanley, Jason and Liao, Hongwei and Lafortune, Stephane}, biburl = {https://www.bibsonomy.org/bibtex/2a94b012b23dd6373003c5dcf1d98567f/fernand0}, citeulike-article-id = {13893213}, citeulike-linkout-0 = {http://dx.doi.org/10.1109/tac.2015.2426232}, citeulike-linkout-1 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=7094252}, doi = {10.1109/tac.2015.2426232}, interhash = {31b0def24d550cce04db06dbd68f8308}, intrahash = {a94b012b23dd6373003c5dcf1d98567f}, issn = {0018-9286}, journal = {Automatic Control, IEEE Transactions on}, keywords = {citeulike concurrent, deadlock, logic, sat, software}, month = dec, number = 12, pages = {3269--3274}, posted-at = {2015-12-23 16:21:43}, priority = {2}, publisher = {IEEE}, timestamp = {2017-09-08T10:53:23.000+0200}, title = {{SAT-Based Control of Concurrent Software for Deadlock Avoidance}}, url = {http://dx.doi.org/10.1109/tac.2015.2426232}, volume = 60, year = 2015 }