@article{oai:nitech.repo.nii.ac.jp:00005726,
 author = {堀場, 匠一朗 and 江藤, 正通 and 浅井, 宏樹 and 津邑, 公暁 and 松尾, 啓志},
 issue = {5},
 journal = {情報処理学会論文誌コンピューティングシステム},
 month = {Oct},
 note = {application/pdf},
 pages = {43--54},
 title = {デッドロック検出の厳密化によるLogTMのアボート削減手法},
 volume = {5},
 year = {2012},
 yomi = {ツムラ, トモアキ and マツオ, ヒロシ}
}