@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00152676,
 author = {後藤, 亮馬 and 和崎, 克己 and Goto, Ryoma and Wasaki, Katsumi},
 book = {情報科学技術フォーラム講演論文集},
 issue = {1},
 month = {Aug},
 pages = {159--162},
 publisher = {情報処理学会},
 title = {B-019 UML-PROMELA変換器を用いたZigBeeIP/RPLプロトコルにおけるノード探索仕様の検証(B分野:ソフトウェア,一般論文)},
 volume = {13},
 year = {2014}
}