Model Checking Multi-Agent Systems with MABLE (2002)

Cached

Download Links

by Michael Wooldridge , Michael Fisher , Marc-Philippe Huget , Simon Parsons
Citations:73 - 10 self