%0 Conference Paper %1 conf/gcce/IgawaYAKSA18 %A Igawa, Nao %A Yokogawa, Tomoyuki %A Amasaki, Sousuke %A Komoku, Kiyotaka %A Sato, Yoichiro %A Arimoto, Kazutami %B GCCE %D 2018 %I IEEE %K dblp %P 619-623 %T Interpolation Based Unbounded Model Checking for Time Petri Nets. %U http://dblp.uni-trier.de/db/conf/gcce/gcce2018.html#IgawaYAKSA18 %@ 978-1-5386-6309-7

@inproceedings{conf/gcce/IgawaYAKSA18, added-at = {2019-01-01T00:00:00.000+0100}, author = {Igawa, Nao and Yokogawa, Tomoyuki and Amasaki, Sousuke and Komoku, Kiyotaka and Sato, Yoichiro and Arimoto, Kazutami}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21c59bd6c8e825b9403e9900c8afd6f3f/dblp}, booktitle = {GCCE}, crossref = {conf/gcce/2018}, ee = {https://doi.org/10.1109/GCCE.2018.8574651}, interhash = {b240673d8654cacdd4054bcd505b56b6}, intrahash = {1c59bd6c8e825b9403e9900c8afd6f3f}, isbn = {978-1-5386-6309-7}, keywords = {dblp}, pages = {619-623}, publisher = {IEEE}, timestamp = {2019-09-27T18:41:29.000+0200}, title = {Interpolation Based Unbounded Model Checking for Time Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/gcce/gcce2018.html#IgawaYAKSA18}, year = 2018 }