%0 Conference Paper %1 conf/ifm/XuRAS23 %A Xu, Mengwei %A Rivoalen, Thibault %A Archibald, Blair %A Sevegnani, Michele %B iFM %D 2023 %E Herber, Paula %E Wijs, Anton %I Springer %K dblp %P 364-373 %T CAN-verify: A Verification Tool For BDI Agents. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2023.html#XuRAS23 %V 14300 %@ 978-3-031-47705-8

@inproceedings{conf/ifm/XuRAS23, added-at = {2023-11-17T00:00:00.000+0100}, author = {Xu, Mengwei and Rivoalen, Thibault and Archibald, Blair and Sevegnani, Michele}, biburl = {https://www.bibsonomy.org/bibtex/26f985946fa1571d904fa1b15300c8839/dblp}, booktitle = {iFM}, crossref = {conf/ifm/2023}, editor = {Herber, Paula and Wijs, Anton}, ee = {https://doi.org/10.1007/978-3-031-47705-8_19}, interhash = {db0825f118dceb9f3ecc7ad9db5cfe0b}, intrahash = {6f985946fa1571d904fa1b15300c8839}, isbn = {978-3-031-47705-8}, keywords = {dblp}, pages = {364-373}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:46:15.000+0200}, title = {CAN-verify: A Verification Tool For BDI Agents.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2023.html#XuRAS23}, volume = 14300, year = 2023 }