User menu

Applications of model checking for multi-agent systems: verification of diagnosability and recoverability

Bibliographic reference Raimondi, Franco ; Pecheur, Charles ; Lomuscio, Alessio. Applications of model checking for multi-agent systems: verification of diagnosability and recoverability .CSP 200 (Ruciane-Nida, Poland). In: Proceedings of Concurrency Specification and Programming (CSP 2005), Ruciane-Nida, Poland, 2005
Permanent URL http://hdl.handle.net/2078.1/140261