scholarly journals An Abstraction-Refinement Framework for Multi-Agent Systems

Author(s):  
T. Ball ◽  
O. Kupferman
Sign in / Sign up

Export Citation Format

Share Document