Adam Biltcliffe

According to our database, Adam Biltcliffe authored at least 1 paper in 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2006

Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL.

Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ridge, Peter Sewell

Proceedings of the 14th IEEE International Conference on Network Protocols, 2006