@techreport{weko_35902_1, author = "安藤津芳 and 太田正孝 and 高橋,薫", title = "MSCによるLOTOS仕様の記述方法", year = "1992", institution = "高度通信システム研究所, 高度通信システム研究所, 東北大学", number = "91(1992-DPS-058)", month = "nov" }