%0 Journal Article %1 journals/aamas/Wooldridge00 %A Wooldridge, Michael J. %D 2000 %J Auton. Agents Multi Agent Syst. %K dblp %N 1 %P 9-31 %T Semantic Issues in the Verification of Agent Communication Languages. %U http://dblp.uni-trier.de/db/journals/aamas/aamas3.html#Wooldridge00 %V 3

@article{journals/aamas/Wooldridge00, added-at = {2020-03-13T00:00:00.000+0100}, author = {Wooldridge, Michael J.}, biburl = {https://www.bibsonomy.org/bibtex/2bbdb3f28baa97de5432cf93bca558f49/dblp}, ee = {https://doi.org/10.1023/A:1010090027213}, interhash = {25f6d016ffe9d20d81316dd7ff37a930}, intrahash = {bbdb3f28baa97de5432cf93bca558f49}, journal = {Auton. Agents Multi Agent Syst.}, keywords = {dblp}, number = 1, pages = {9-31}, timestamp = {2020-03-14T11:42:49.000+0100}, title = {Semantic Issues in the Verification of Agent Communication Languages.}, url = {http://dblp.uni-trier.de/db/journals/aamas/aamas3.html#Wooldridge00}, volume = 3, year = 2000 }