A New Model Checking Approach for Verifying Agent Communication Protocols

J. Bentahar, B. Moulin, J-J.Ch. Meyer

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

Original language	Undefined/Unknown
Title of host publication	Proc. of the IEEE Canadian Conference on Electrical and Computer Engineering (CCECE 2006),
Pages	96-100
Number of pages	5
Publication status	Published - 2006

CCECE 2006, Ottawa, Canada

Cite this

@inproceedings{d5549538f03a47e2bfa5e3bc807396c7,

title = "A New Model Checking Approach for Verifying Agent Communication Protocols",

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

note = "CCECE 2006, Ottawa, Canada",

year = "2006",

language = "Undefined/Unknown",

pages = "96--100",

booktitle = "Proc. of the IEEE Canadian Conference on Electrical and Computer Engineering (CCECE 2006),",

}