@techreport{weko_36334_1, author = "覚埜高音 and 石坂充弘", title = "会話形式による通信プロトコル検証システム", year = "1983", institution = "三菱電機株式会社情報電子研究所, 三菱電機株式会社情報電子研究所", number = "21(1983-DPS-019)", month = "jul" }