{"_id":"aZ79kkHRwzCzqBWz6","bibbaseid":"fisher-wooldridge-ontheformalspecificationandverificationofmultiagentsystems-1997","downloads":0,"creationDate":"2016-05-26T11:21:07.950Z","title":"On the Formal Specification and Verification of Multi-Agent Systems","author_short":["Fisher, M.","Wooldridge, M."],"year":1997,"bibtype":"article","biburl":"https://dblp.org/pid/f/MichaelFisher.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Wooldridge"],"suffixes":[]}],"title":"On the Formal Specification and Verification of Multi-Agent Systems","journal":"Int. J. Cooperative Inf. Syst.","volume":"6","number":"1","pages":"37–66","year":"1997","url":"https://doi.org/10.1142/S0218843097000057","doi":"10.1142/S0218843097000057","timestamp":"Tue, 20 Feb 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/bib/journals/ijcis/FisherW97","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/ijcis/FisherW97,\n author = {Michael Fisher and\n Michael Wooldridge},\n title = {On the Formal Specification and Verification of Multi-Agent Systems},\n journal = {Int. J. Cooperative Inf. Syst.},\n volume = {6},\n number = {1},\n pages = {37--66},\n year = {1997},\n url = {https://doi.org/10.1142/S0218843097000057},\n doi = {10.1142/S0218843097000057},\n timestamp = {Tue, 20 Feb 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/bib/journals/ijcis/FisherW97},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fisher, M.","Wooldridge, M."],"key":"DBLP:journals/ijcis/FisherW97","id":"DBLP:journals/ijcis/FisherW97","bibbaseid":"fisher-wooldridge-ontheformalspecificationandverificationofmultiagentsystems-1997","role":"author","urls":{"Paper":"https://doi.org/10.1142/S0218843097000057"},"downloads":0,"html":""},"search_terms":["formal","specification","verification","multi","agent","systems","fisher","wooldridge"],"keywords":["dblp"],"authorIDs":["54795f1c8a7c93e0600008be"],"dataSources":["dNrJbhueP34xdF85Y"]}