@article{weko_14441_1, author = "安藤,敏彦 and 加藤,靖 and 高橋,薫 and 野口,正一", title = "時制論理に基づくプロトコルのLOTOS仕様の合成", journal = "情報処理学会論文誌", year = "1993", volume = "34", number = "6", pages = "1268--1280", month = "jun" }