@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00185304,
 author = {井川, 直 and 横川, 智教 and 佐藤, 洋一郎 and 有本, 和民 and 近藤, 真史 and 宮崎, 仁},
 book = {ウィンターワークショップ2018・イン・宮島 論文集},
 month = {Jan},
 note = {本論文では，TPN の時間制約を差分論理によって表現することで，充足可能性判定に基づく非有界モデル検査を高速化するための手法を提案する．},
 pages = {44--45},
 publisher = {情報処理学会},
 title = {MathSATを用いたsafe Time Petri Netの非有界モデル検査手法},
 volume = {2018},
 year = {2018}
}