@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00151448,
 author = {小林, 巧 and 山田, 豊 and 和崎, 克己 and Kobayashi, Takumi and Yamada, Yutaka and Wasaki, Katsumi},
 book = {情報科学技術フォーラム講演論文集},
 issue = {1},
 month = {Sep},
 pages = {237--238},
 publisher = {情報処理学会},
 title = {B-029 WeBアプリケーション設計のUMLアクティビティ図に対するセマフォア導入とモデル検査(テスト・検証・解析,B分野:ソフトウェア)},
 volume = {11},
 year = {2012}
}