@techreport{weko_35533_1,
   author	 = "鍛,忠司 and 東野,輝夫 and 谷口,健一",
   title	 = "複数個のFSMからなるプロトコル機械に対する適合性試験の一手法",
   year 	 = "1996",
   institution	 = "大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科",
   number	 = "12(1995-DPS-074)",
   month	 = "jan"
}