Reasoning About Active Network Protocols.

Samrat Bhattacharjee, Kenneth L. Calvert, Ellen W. Zegura

Browse the full ICNP paper archive.