%0 Conference Paper %1 conf/prima/OgataANK18 %A Ogata, Shinpei %A Aoki, Yoshitaka %A Nakagawa, Hiroyuki %A Kobayashi, Kazuki %B PRIMA %D 2018 %E Miller, Tim %E Oren, Nir %E Sakurai, Yuko %E Noda, Itsuki %E Savarimuthu, Bastin Tony Roy %E Son, Tran Cao %I Springer %K dblp %P 576-584 %T A Template System for Modeling and Verifying Agent Behaviors. %U http://dblp.uni-trier.de/db/conf/prima/prima2018.html#OgataANK18 %V 11224 %@ 978-3-030-03098-8

@inproceedings{conf/prima/OgataANK18, added-at = {2021-04-09T00:00:00.000+0200}, author = {Ogata, Shinpei and Aoki, Yoshitaka and Nakagawa, Hiroyuki and Kobayashi, Kazuki}, biburl = {https://www.bibsonomy.org/bibtex/20766fbcdc4521f47fc0bf3fa21f15485/dblp}, booktitle = {PRIMA}, crossref = {conf/prima/2018}, editor = {Miller, Tim and Oren, Nir and Sakurai, Yuko and Noda, Itsuki and Savarimuthu, Bastin Tony Roy and Son, Tran Cao}, ee = {https://doi.org/10.1007/978-3-030-03098-8_44}, interhash = {db575d0f7e875bfd872b9f3c2dafb561}, intrahash = {0766fbcdc4521f47fc0bf3fa21f15485}, isbn = {978-3-030-03098-8}, keywords = {dblp}, pages = {576-584}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T14:41:07.000+0200}, title = {A Template System for Modeling and Verifying Agent Behaviors.}, url = {http://dblp.uni-trier.de/db/conf/prima/prima2018.html#OgataANK18}, volume = 11224, year = 2018 }