Original language | Undefined/Unknown |
---|---|
Title of host publication | New Trends in Software Methodologies, Tools and Techniques - Proc. of the 6th SoMeT-07 |
Editors | H. Fujita, D.M. Pisanelli |
Publisher | IOS Press |
Pages | 239-265 |
Number of pages | 27 |
Publication status | Published - 2007 |
Model-Checking Communicative Agent-Based Systems
J. Bentahar, J-J.Ch. Meyer
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review