Joy N. Reed, J. E. Sinclair. Routing - A Challenge to Formal Methods. In Hamid R. Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1999, June 28 - Junlly 1, 1999, Las Vegas, Nevada, USA. pages 305-311, CSREA Press, 1999.
Abstract is missing.