%0 Journal Article %1 journals/deds/LiaoWCSKLMR13 %A Liao, Hongwei %A Wang, Yin %A Cho, Hyoun Kyu %A Stanley, Jason %A Kelly, Terence %A Lafortune, Stéphane %A Mahlke, Scott A. %A Reveliotis, Spyros A. %D 2013 %J Discret. Event Dyn. Syst. %K dblp %N 2 %P 157-195 %T Concurrency bugs in multithreaded software: modeling and analysis using Petri nets. %U http://dblp.uni-trier.de/db/journals/deds/deds23.html#LiaoWCSKLMR13 %V 23

@article{journals/deds/LiaoWCSKLMR13, added-at = {2021-07-25T00:00:00.000+0200}, author = {Liao, Hongwei and Wang, Yin and Cho, Hyoun Kyu and Stanley, Jason and Kelly, Terence and Lafortune, Stéphane and Mahlke, Scott A. and Reveliotis, Spyros A.}, biburl = {https://www.bibsonomy.org/bibtex/2da63e6d4a42212dca3cb56d9a7557c7b/dblp}, ee = {https://doi.org/10.1007/s10626-012-0139-x}, interhash = {4e26c44c331b5d6311448ac5c7279613}, intrahash = {da63e6d4a42212dca3cb56d9a7557c7b}, journal = {Discret. Event Dyn. Syst.}, keywords = {dblp}, number = 2, pages = {157-195}, timestamp = {2024-04-08T10:17:00.000+0200}, title = {Concurrency bugs in multithreaded software: modeling and analysis using Petri nets.}, url = {http://dblp.uni-trier.de/db/journals/deds/deds23.html#LiaoWCSKLMR13}, volume = 23, year = 2013 }