Mcmas: A model checker for multi-agent systems (2006)
by
Alessio Lomuscio
,
Franco Raimondi
| Venue: | Proceedings of TACAS 2006 |
| Citations: | 32 - 15 self |







