Hongwei Liao, Yin Wang, Jason Stanley, Stéphane Lafortune, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke. Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control. IEEE Trans. Contr. Sys. Techn., 21(6):2067-2082, 2013. [doi]
@article{LiaoWSLRKM13,
title = {Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control},
author = {Hongwei Liao and Yin Wang and Jason Stanley and Stéphane Lafortune and Spyros A. Reveliotis and Terence Kelly and Scott A. Mahlke},
year = {2013},
doi = {10.1109/TCST.2012.2226034},
url = {http://dx.doi.org/10.1109/TCST.2012.2226034},
researchr = {https://researchr.org/publication/LiaoWSLRKM13},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Contr. Sys. Techn.},
volume = {21},
number = {6},
pages = {2067-2082},
}