Verification within the KARO Agent Theory

U. Hustadt, C. Dixon, R.A. Schmidt, M. Fischer, J-J.Ch. Meyer, W. van der Hoek

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Original languageUndefined/Unknown
Title of host publicationAgent Technology from a Formal Perspective
EditorsC. Rouff, M. Hinchey, J. Rash, W. Truszkowski, D. Gordon-Spears
Place of PublicationBerlin
PublisherSpringer
Pages193-225
Number of pages33
Publication statusPublished - 2006

Publication series

NameNASA Monographs in Systems and Software Engineering Series

Cite this