Model checking communicative agent-based systems

Jamal Bentahar, John-Jules Ch. Meyer, Wei Wan. Model checking communicative agent-based systems. Knowl.-Based Syst., 22(3):142-159, 2009. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: