@article{_153, author = {[null, null, null]}, title = {死锁检测工具的能力分析与综合应用}, publisher = {计算机科学与探索}, year = {2010}, journal = {计算机科学与探索}, volume = {4}, number = {2}, eid = {153}, pages = {153-164}, keywords = {死锁检测;工具评估;工具综合应用;并发软件}, doi = http://fcst.ceaj.org/CN/10.3778/j.issn.1673-9418.2010.02.007 }