@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00147540,
 author = {井川, 直 and 横川, 智教 and 佐藤, 洋一郎 and 有本, 和民 and 近藤, 真史 and 宮崎, 仁 and Nao, Igawa and Tomoyuki, Yokogawa and Yoichiro, Sato and Kazutami, Arimoto and Masafumi, Kondo and Hisashi, Miyazaki},
 book = {ウィンターワークショップ2016・イン・逗子 論文集},
 month = {Jan},
 note = {本稿では，時間ペトリネットに補間に基づく非有界モデル検査手法を適用する枠組みを示す．, We proposed a method to apply unbounded model checking with interpolation for formal verification of Time petri nets.},
 pages = {10--11},
 publisher = {情報処理学会},
 title = {補間に基づく時間ペトリネットの非有界モデル検査},
 volume = {2016},
 year = {2016}
}