@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00151449,
 author = {大林, 浩気 and 長野, 岳彦 and 茂岡, 知彦 and Ohbayashi, Hiroki and Nagano, Takehiko and Shigeoka, Tomohiko},
 book = {情報科学技術フォーラム講演論文集},
 issue = {1},
 month = {Sep},
 pages = {239--240},
 publisher = {情報処理学会},
 title = {B-030 待ち行列理論による抽象化を用いたモデル検査手法の検討(テスト・検証・解析,B分野:ソフトウェア)},
 volume = {11},
 year = {2012}
}