@techreport{weko_36421_1, author = "加藤聰彦 and 斉藤,忠夫 and 猪瀬,博", title = "オートマトンの縦続分解モデルによる HDLCプロトコルの検証の一方式", year = "1979", institution = "東京大学工学部, 東京大学工学部, 東京大学工学部", number = "30(1979-DPS-003)", month = "nov" }