@techreport{weko_45260_1,
   author	 = "徳田,康平 and 森,亮憲 and 樋口,昌宏 and 谷口健一",
   title	 = "タイマを用いる有限状態機械でモデル化されたシステムの検証手続き",
   year 	 = "2001",
   institution	 = "大阪大学大学院基礎工学研究科情報数理系専攻, 大阪大学大学院基礎工学研究科情報数理系専攻, 近畿大学理工学部電気工学科, 大阪大学大学院基礎工学研究科情報数理系専攻",
   number	 = "15(2000-CSEC-012)",
   month	 = "feb"
}