講演・口頭発表等

1985年

LANにおけるトークンリングアクセス制御の記述と排他性の検証について

電子通信学会技術研究報告(オートマトンと言語)