著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
"長岡, 武志 and 伊藤, 明彦 and 岡野, 浩三 and 楠本, 真二",確率的モデル検査ツールを用いた実時間ネットワークシステムの検証手法の提案およびネットワークシミュレータNS-2との比較,"電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス",09135685,電子情報通信学会,2009-07-30,109,170,37-42,https://cir.nii.ac.jp/crid/1050862643881185152,