@techreport{weko_35676_1,
   author	 = "中田,明夫 and 東野,輝夫 and 谷口,健一",
   title	 = "時間制約付LOTOSで記述された分散システムの全体仕様から各ノードの動作仕様の自動生成",
   year 	 = "1995",
   institution	 = "大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科",
   number	 = "22(1994-DPS-069)",
   month	 = "mar"
}