DMCA

Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams

Cached

Download Links

by Franco Raimondi , Alessio Lomuscio
Venue:Journal of Applied Logic
Citations:53 - 27 self