On the formal specification and verification of network routing algorithms
Jim Davies and Matt Wallis
Details
| Crossref |
DBLP:conf/forte/1994 |
| Pages |
100−115 |
| Year |
1994 |
Links
Related pages
|
People |