@inproceedings{DBLP:conf/faabs/HustadtDSFMH00,
  author       = {Ullrich Hustadt and
                  Clare Dixon and
                  Renate A. Schmidt and
                  Michael Fisher and
                  John{-}Jules Ch. Meyer and
                  Wiebe van der Hoek},
  editor       = {James L. Rash and
                  Christopher A. Rouff and
                  Walt Truszkowski and
                  Diana F. Gordon and
                  Michael G. Hinchey},
  title        = {Verification within the {KARO} Agent Theory},
  booktitle    = {Formal Approaches to Agent-Based Systems, First International Workshop,
                  {FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1871},
  pages        = {33--47},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45484-5\_3},
  doi          = {10.1007/3-540-45484-5\_3},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/faabs/HustadtDSFMH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"PKS4s4GXq3SC3Jm4d","bibbaseid":"hustadt-dixon-schmidt-fisher-meyer-vanderhoek-verificationwithinthekaroagenttheory-2000","author_short":["Hustadt, U.","Dixon, C.","Schmidt, R. A.","Fisher, M.","Meyer, J. C.","van der Hoek, W."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Clare"],"propositions":[],"lastnames":["Dixon"],"suffixes":[]},{"firstnames":["Renate","A."],"propositions":[],"lastnames":["Schmidt"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]},{"firstnames":["John-Jules","Ch."],"propositions":[],"lastnames":["Meyer"],"suffixes":[]},{"firstnames":["Wiebe"],"propositions":["van","der"],"lastnames":["Hoek"],"suffixes":[]}],"editor":[{"firstnames":["James","L."],"propositions":[],"lastnames":["Rash"],"suffixes":[]},{"firstnames":["Christopher","A."],"propositions":[],"lastnames":["Rouff"],"suffixes":[]},{"firstnames":["Walt"],"propositions":[],"lastnames":["Truszkowski"],"suffixes":[]},{"firstnames":["Diana","F."],"propositions":[],"lastnames":["Gordon"],"suffixes":[]},{"firstnames":["Michael","G."],"propositions":[],"lastnames":["Hinchey"],"suffixes":[]}],"title":"Verification within the KARO Agent Theory","booktitle":"Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers","series":"Lecture Notes in Computer Science","volume":"1871","pages":"33–47","publisher":"Springer","year":"2000","url":"https://doi.org/10.1007/3-540-45484-5\\_3","doi":"10.1007/3-540-45484-5_3","timestamp":"Sun, 06 Oct 2024 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/faabs/HustadtDSFMH00.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/faabs/HustadtDSFMH00,\n author = {Ullrich Hustadt and\n Clare Dixon and\n Renate A. Schmidt and\n Michael Fisher and\n John{-}Jules Ch. Meyer and\n Wiebe van der Hoek},\n editor = {James L. Rash and\n Christopher A. Rouff and\n Walt Truszkowski and\n Diana F. Gordon and\n Michael G. Hinchey},\n title = {Verification within the {KARO} Agent Theory},\n booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,\n {FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},\n series = {Lecture Notes in Computer Science},\n volume = {1871},\n pages = {33--47},\n publisher = {Springer},\n year = {2000},\n url = {https://doi.org/10.1007/3-540-45484-5\\_3},\n doi = {10.1007/3-540-45484-5\\_3},\n timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/faabs/HustadtDSFMH00.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hustadt, U.","Dixon, C.","Schmidt, R. A.","Fisher, M.","Meyer, J. C.","van der Hoek, W."],"editor_short":["Rash, J. L.","Rouff, C. A.","Truszkowski, W.","Gordon, D. F.","Hinchey, M. G."],"key":"DBLP:conf/faabs/HustadtDSFMH00","id":"DBLP:conf/faabs/HustadtDSFMH00","bibbaseid":"hustadt-dixon-schmidt-fisher-meyer-vanderhoek-verificationwithinthekaroagenttheory-2000","role":"author","urls":{"Paper":"https://doi.org/10.1007/3-540-45484-5\\_3"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj","FgmYE34DdKWThg2dR"],"keywords":[],"search_terms":["verification","within","karo","agent","theory","hustadt","dixon","schmidt","fisher","meyer","van der hoek"],"title":"Verification within the KARO Agent Theory","year":2000}