@INPROCEEDINGS{HDSFMH2001a,
 AUTHOR        = {Hustadt, Ullrich and Dixon, C. and Schmidt, R. A. and Fisher, M.
 and Meyer, J.-J. C. and van der Hoek, W.},
 TITLE         = {Verification within the {KARO} Agent Theory},
 BOOKTITLE     = {Proceedings of the First International Workshop on
 Formal Approaches to Agent-Based Systems (FAABS 2000)},
 YEAR          = {2001},
 EDITOR        = {Rash, J. L. and Rouff, C. A. and Truszkowski, W. and 
 Gordon, D. and Hinchey, M. G.},
 PAGES         = {33-47},
 PUBLISHER     = {Springer},
 PYEAR         = {2001},
 CADDRESS      = {Goddard Space Flight Center, Greenbelt, MD, USA},
 CYEAR         = {2000},
 CMONTH        = apr # {~5--7},
 SERIES        = {LNAI},
 VOLUME        = {1871},
 ISBN          = {3-540-42716-3}
}