@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00070992,
 author = {井上裕之 and 土屋達弘 and 菊野亨},
 book = {平成22年度情報処理学会関西支部支部大会講演論文集},
 month = {Sep},
 note = {SMTソルバを利用した整数型変数を持つ並行システムに対する有界モデル検査手法を提案する．本研究では，従来の手法での数式と同程度の規模で，より多くの遷移を表現できるシステムの動作の式表現手法を導入し，その有効性を実験により示す．},
 publisher = {情報処理学会},
 title = {整数型変数を持つ並行システムに対する有界モデル検査手法},
 volume = {2010},
 year = {2010}
}