Distributed Algorithms: A Challenging Playground for Model Checking (Invited Talk).

Nathalie Bertrand

Browse the full OPODIS paper archive.