Model-Checking Communicative Agent-Based Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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

Cite this

@inproceedings{f436cec043674c72aef62eb7a6a7ec5e,

title = "Model-Checking Communicative Agent-Based Systems",

author = "J. Bentahar and J-J.Ch. Meyer",

year = "2007",

language = "Undefined/Unknown",

pages = "239--265",

editor = "H. Fujita and D.M. Pisanelli",

booktitle = "New Trends in Software Methodologies, Tools and Techniques - Proc. of the 6th SoMeT-07",

publisher = "IOS Press",

address = "Netherlands",

}