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]
@inproceedings{IgawaYAKSA18,
title = {Interpolation Based Unbounded Model Checking for Time Petri Nets},
author = {Nao Igawa and Tomoyuki Yokogawa and Sousuke Amasaki and Kiyotaka Komoku and Yoichiro Sato and Kazutami Arimoto},
year = {2018},
doi = {10.1109/GCCE.2018.8574651},
url = {https://doi.org/10.1109/GCCE.2018.8574651},
researchr = {https://researchr.org/publication/IgawaYAKSA18},
cites = {0},
citedby = {0},
pages = {619-623},
booktitle = {IEEE 7th Global Conference on Consumer Electronics, GCCE 2018, Nara, Japan, October 9-12, 2018},
publisher = {IEEE},
isbn = {978-1-5386-6309-7},
}