Hoang, Thai Son and Basin, David and Kuruma, Hironobu and Abrial, Jean-Raymond (2008) Link State Routing Development. [Rodin Archive]
ZIP Archive (Link State Routing (Rodin Platform archive)) - Published Version 1577Kb |
Official URL: http://www.springerlink.com/content/j0472j150026416h/
Item Type: | Rodin Archive |
---|---|
Subjects: | Methodology > Other Event-B > Event-B Examples |
ID Code: | 31 |
Deposited By: | Thai Son Hoang |
Deposited On: | 20 Aug 2008 11:08 |
Last Modified: | 19 Apr 2010 16:05 |
Repository Staff Only: item control page