Nao Igawa, Tomoyuki Yokogawa, Sousuke Amasaki, Kiyotaka Komoku, Yoichiro Sato, Kazutami Arimoto. Interpolation Based Unbounded Model Checking for Time Petri Nets. In IEEE 7th Global Conference on Consumer Electronics, GCCE 2018, Nara, Japan, October 9-12, 2018. pages 619-623, IEEE, 2018. [doi]
Abstract is missing.