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]
No references recorded for this publication.
No citations of this publication recorded.