@techreport{weko_36414_1, author = "吉田裕 and 野村雅行 and 田中良和", title = "オートマトンによるモデル化を用いたプロトコル検証法", year = "1980", institution = "日本電信電話公社武蔵野電気通信研究所, 日本電信電話公社武蔵野電気通信研究所, 日本電信電話公社武蔵野電気通信研究所", number = "42(1979-DPS-004)", month = "feb" }