Testing Mobile and Distributed Systems: Method and Experimentation.

Patrice Laurenot, Sbastien Salva

Browse the full OPODIS paper archive.