Model-Checking Communicative Agent-Based Systems

J. Bentahar, J-J.Ch. Meyer

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

Original languageUndefined/Unknown
Title of host publicationNew Trends in Software Methodologies, Tools and Techniques - Proc. of the 6th SoMeT-07
EditorsH. Fujita, D.M. Pisanelli
PublisherIOS Press
Pages239-265
Number of pages27
Publication statusPublished - 2007

Cite this