Validation of distributed algorithms and protocols.

Qiang Gao, Roland Groz, Gregor von Bochmann, Joumana Dargham, E. Houssain Htite

Browse the full ICNP paper archive.