Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/20790
Title: Rigorous protocol design in practice: An optical packet-switch MAC in HOL
Authors: Biltcliffe, A
Ridge, T
Sewell, P
Dales, M
Jansen, S
First Published: 2006
Citation: PROCEEDINGS - INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS, ICNP, 2006, pp. 117-126
DOI Link: 10.1109/ICNP.2006.320205
ISSN: 1092-1648
Links: http://hdl.handle.net/2381/20790
Type: Journal Article
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
There are no files associated with this item.


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.