@techreport{weko_34923_1,
   author	 = "梅津,高朗 and 中田,明夫 and 東野,輝夫",
   title	 = "周期的実時間システム仕様が時相論理式を満足するためのパラメータ条件導出",
   year 	 = "2000",
   institution	 = "大阪大学大学院基礎工学研究科情報数理系, 大阪大学大学院基礎工学研究科情報数理系, 大阪大学大学院基礎工学研究科情報数理系",
   number	 = "102(2000-DPS-100)",
   month	 = "nov"
}