@INPROCEEDINGS{HustadtDixonEtal01b,
AUTHOR = {Hustadt, U. and Dixon, C. and Schmidt, R. A. and Fisher, M.  and Meyer, J.-J. and van der Hoek, W.},
YEAR = {2001},
TITLE = {Verification within the {KARO} Agent Theory},
EDITOR = {Rash, J. L. and Rouff, C. A. and Truszkowski, W. and Gordon, D. and Hinchey, M. G.},
BOOKTITLE = {Formal Approaches to Agent-Based Systems},
XBOOKTITLE = {Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {1871},
PUBLISHER = {Springer},
PAGES = {33--47},
URL = {http://www.cs.man.ac.uk/~schmidt/publications/HustadtDixonEtal01b.html},
ISBN = {3-540-42716-3},
}