@inproceedings{weko_116890_1, author = "斉藤,誠 and 光永,聖 and 田代,勤 and 薦田,憲久", title = "通信プロトコルにおける状態遷移表現の生成法", booktitle = "全国大会講演論文集", year = "1989", volume = "第38回", number = "ネットワーク", pages = "1615--1616", month = "mar" }