@techreport{weko_47506_1, author = "森,亮憲 and 樋口,昌宏", title = "タイマシステムコールを用いるFSMプロトコルの適合性試験について", year = "1999", institution = "大阪大学大学院基礎工学研究科, 大阪大学大学院基礎工学研究科", number = "56(1999-DSM-014)", month = "jul" }