@techreport{weko_22120_1, author = "安藤,敏彦 and 加藤,靖 and 高橋,薫 and 野口,正一", title = "時制論理を用いた並列性を含むLOTOS仕様の導出", year = "1992", institution = "仙台電波工業高等専門学校, 仙台電波工業高等専門学校, 東北大学電気通信研究所, 東北大学応用情報学研究センター", number = "100(1992-SE-089)", month = "dec" }