@techreport{weko_20153_1, author = "最所圭三", title = "ハードウェアによるデッドロック検出支援機構について", year = "1996", institution = "奈良先端科学技術大学院大学", number = "25(1995-DBS-107)", month = "mar" }