@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00151989,
 author = {井出, 和人 and 和崎, 克己 and Ide, Kazuto and Wasaki, Katsumi},
 book = {情報科学技術フォーラム講演論文集},
 issue = {1},
 month = {Aug},
 pages = {175--178},
 publisher = {情報処理学会},
 title = {A-016 活性安全自由選択ネットの被覆マークグラフへの分割アルゴリズムと実装(A分野:モデル・アルゴリズム・プログラミング,一般論文)},
 volume = {12},
 year = {2013}
}