@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00151376,
 author = {井出, 和人 and 和崎, 克己 and Ide, Kazuto and Wasaki, Katsumi},
 book = {情報科学技術フォーラム講演論文集},
 issue = {1},
 month = {Sep},
 pages = {17--21},
 publisher = {情報処理学会},
 title = {RA-003 自由選択ネットの活性・安全性判定解析アルゴリズム改善と援用ツールへの実装(数理モデル(2),A分野:モデル・アルゴリズム・プログラミング)},
 volume = {11},
 year = {2012}
}