| |
| 2006 | ||
|---|---|---|
| 1 | EE | Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ridge, Peter Sewell: Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL. ICNP 2006: 117-126 |
| 1 | Michael Dales | [1] |
| 2 | Sam Jansen | [1] |
| 3 | Tom Ridge (Thomas Ridge) | [1] |
| 4 | Peter Sewell | [1] |