@techreport{weko_35901_1, author = "山野,敬一郎 and 太田正孝 and 高橋,薫", title = "シミュレーション関係に基づくLOTOS仕様の検証システム", year = "1992", institution = "高度通信システム研究所, 高度通信システム研究所, 東北大学", number = "91(1992-DPS-058)", month = "nov" }