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

Cached

Download Links

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