Rigorous Protocol Design in Practice: An Optical (2006)

Cached

Download Links

by Packet-Switch Mac In , Adam Biltcliffe , Michael Dales , Sam Jansen , Thomas Ridge , Peter Sewell
Venue:in HOL. In Proc. ICNP