著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
"伊藤, 明彦 and 長岡, 武志 and 岡野, 浩三 and 楠本, 真二",時間抽象を行う洗練手法を用いた確率時間システムの到達可能性解析,"電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス",09135685,電子情報通信学会,2010-03-01,109,456,85-90,https://cir.nii.ac.jp/crid/1050018218951056896,