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