@techreport{weko_35102_1, author = "中田,明夫 and 東野,輝夫 and 谷口,健一", title = "文脈自由プロセスに対するプロトコル合成の一手法", year = "1999", institution = "広島市立大学情報科学部情報数理学科, 大阪大学大学院基礎工学研究科情報数理系専攻, 大阪大学大学院基礎工学研究科情報数理系専攻", number = "4(1998-DPS-091)", month = "jan" }