@article{oai:tsukuba.repo.nii.ac.jp:00034429,
 author = {池田, 聡 and 地引, 昌弘 and 久野, 靖 and KUNO, Yasushi and 西森, 丈俊},
 issue = {7},
 journal = {電子情報通信学会論文誌. D, 情報・システム, The IEICE transactions on information and systems (Japanese edition)},
 month = {Jul},
 pages = {1154--1164},
 title = {モデル検査を用いた通信プロトコル二重化の検証(プロトコル,<特集>インターネット技術とその応用論文)},
 volume = {93},
 year = {2010},
 yomi = {クノ, ヤスシ}
}