Matt Wallis
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1994
On the formal specification and verification of network routing algorithms.
Proceedings of the Formal Description Techniques VII, 1994