Formal Methods and Agent-Based Systems

Michael Luck, Mark d'Inverno

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

Original languageEnglish
Title of host publicationAgent Technology from a Formal Perspective
EditorsChristopher A. Rouff, Michael Hinchey, James Rash, Walter Truszkowski, Diana Gordon-Spears
PublisherSpringer Finance
Number of pages32
Publication statusPublished - 2006

Publication series

NameNASA Monographs in Systems and Software Engineering

Cite this