Verification within the KARO Agent Theory

U Hustadt, Clare Dixon, R A Schmidt, M Fisher, J-J Meyer, W van der Hoek, C Rouff (Editor), M Hinchey (Editor), J Rash (Editor), W Truszkowski (Editor), D Gordon-Spears (Editor)

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationAgent Technology from a Formal Perspective
Publication statusPublished - 2006

Publication series

NameAgent Technology from a Formal Perspective

Cite this