@techreport{weko_21952_1,
   author	 = "伊藤光裕 and 布施,和博 and 安藤敏彦 and 加藤,靖 and 高橋,薫",
   title	 = "時制論理を用いたLOTOS仕様生成統合支援システムの作成",
   year 	 = "1994",
   institution	 = "仙台電波高専, 仙台電波高専, 仙台電波高専, 仙台電波高専, （株）高度通信システム研究所",
   number	 = "99(1994-SE-101)",
   month	 = "nov"
}