Correctness of Multi-Agent Programs: A Hybrid Approach

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageUndefined/Unknown
Title of host publicationSpecification and Verification of Multi-Agent Systems
EditorsM. Dr. Dastani, K.V. Hindriks, J.-J.Ch. Prof.dr. Meyer
PublisherSpringer
Pages161-194
Number of pages34
Publication statusPublished - 2010

Cite this