Interpolation Based Unbounded Model Checking for Time Petri Nets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Nao Igawa' in GoogleThis author has not been identified. Look up 'Tomoyuki Yokogawa' in GoogleThis author has not been identified. Look up 'Sousuke Amasaki' in GoogleThis author has not been identified. Look up 'Kiyotaka Komoku' in GoogleThis author has not been identified. Look up 'Yoichiro Sato' in GoogleThis author has not been identified. Look up 'Kazutami Arimoto' in Google

runs on WebDSL