%0 Journal Article %1 journals/tcst/LiaoWSLRKM13 %A Liao, Hongwei %A Wang, Yin %A Stanley, Jason %A Lafortune, Stéphane %A Reveliotis, Spyros A. %A Kelly, Terence %A Mahlke, Scott A. %D 2013 %J IEEE Trans. Control. Syst. Technol. %K dblp %N 6 %P 2067-2082 %T Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control. %U http://dblp.uni-trier.de/db/journals/tcst/tcst21.html#LiaoWSLRKM13 %V 21

@article{journals/tcst/LiaoWSLRKM13, added-at = {2021-07-25T00:00:00.000+0200}, author = {Liao, Hongwei and Wang, Yin and Stanley, Jason and Lafortune, Stéphane and Reveliotis, Spyros A. and Kelly, Terence and Mahlke, Scott A.}, biburl = {https://www.bibsonomy.org/bibtex/2bbe8842ad8d61b34ff47a177bffba6c1/dblp}, ee = {https://doi.org/10.1109/TCST.2012.2226034}, interhash = {d8cb37da477f98121dd6cf9c04b9c612}, intrahash = {bbe8842ad8d61b34ff47a177bffba6c1}, journal = {IEEE Trans. Control. Syst. Technol.}, keywords = {dblp}, number = 6, pages = {2067-2082}, timestamp = {2024-04-08T20:16:01.000+0200}, title = {Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control.}, url = {http://dblp.uni-trier.de/db/journals/tcst/tcst21.html#LiaoWSLRKM13}, volume = 21, year = 2013 }