Verification within the KARO Agent Theory. Hustadt, U., Dixon, C., Schmidt, R. A., Fisher, M., Meyer, J. C., & van der Hoek, W. In Rash, J. L., Rouff, C. A., Truszkowski, W., Gordon, D. F., & Hinchey, M. G., editors, Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers, volume 1871, of Lecture Notes in Computer Science, pages 33–47, 2000. Springer.
Verification within the KARO Agent Theory [link]Paper  doi  bibtex   
@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 = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/faabs/HustadtDSFMH00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0