An abstraction-refinement framework for multi-agent systems (2006)

Cached

Download Links

by Thomas Ball
Venue:In LICS
Citations:4 - 1 self