%0 Journal Article %1 journals/scp/ArchibaldCSX22 %A Archibald, Blair %A Calder, Muffy %A Sevegnani, Michele %A Xu, Mengwei %D 2022 %J Sci. Comput. Program. %K dblp %P 102760 %T Modelling and verifying BDI agents with bigraphs. %U http://dblp.uni-trier.de/db/journals/scp/scp215.html#ArchibaldCSX22 %V 215

@article{journals/scp/ArchibaldCSX22, added-at = {2022-03-15T00:00:00.000+0100}, author = {Archibald, Blair and Calder, Muffy and Sevegnani, Michele and Xu, Mengwei}, biburl = {https://www.bibsonomy.org/bibtex/238291fdd45baa6db9998fd36a90b975e/dblp}, ee = {https://doi.org/10.1016/j.scico.2021.102760}, interhash = {1908bf3a34dc7e396fe07434651e8de4}, intrahash = {38291fdd45baa6db9998fd36a90b975e}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = 102760, timestamp = {2024-04-09T05:29:41.000+0200}, title = {Modelling and verifying BDI agents with bigraphs.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp215.html#ArchibaldCSX22}, volume = 215, year = 2022 }