DMCA

Verifying Multi-Agent Programs by Model Checking (2006)

Cached

Download Links

by Rafael H. Bordini , Michael Fisher , Willem Visser , Michael Wooldridge
Venue:Journal of Autonomous Agents and Multi-Agent Systems
Citations:58 - 12 self