%0 Journal Article %1 journals/scp/JiBYS24 %A Ji, Wangjie %A Bo, Lili %A Yuan, Yanchi %A Sun, Xiaobing %D 2024 %J Sci. Comput. Program. %K dblp %P 103073 %T TDFix: A lightweight tool for fixing deadlocks based on templates. %U http://dblp.uni-trier.de/db/journals/scp/scp233.html#JiBYS24 %V 233

@article{journals/scp/JiBYS24, added-at = {2024-07-27T00:00:00.000+0200}, author = {Ji, Wangjie and Bo, Lili and Yuan, Yanchi and Sun, Xiaobing}, biburl = {https://www.bibsonomy.org/bibtex/2c944d34e0434343e6eca27e5a37b0a10/dblp}, ee = {https://doi.org/10.1016/j.scico.2023.103073}, interhash = {fbf2ab215df3e1a1951db1b9dfd2968b}, intrahash = {c944d34e0434343e6eca27e5a37b0a10}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = 103073, timestamp = {2024-07-29T07:09:49.000+0200}, title = {TDFix: A lightweight tool for fixing deadlocks based on templates.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp233.html#JiBYS24}, volume = 233, year = 2024 }