Model Checking Multi-Agent Systems - Bourahla, M. Bourahla; Benmohamed, M. (Informatica)
Model Checking Multi-Agent Systems