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.
@inproceedings{ReedS99,
title = {Routing - A Challenge to Formal Methods},
author = {Joy N. Reed and J. E. Sinclair},
year = {1999},
tags = {e-science, routing},
researchr = {https://researchr.org/publication/ReedS99},
cites = {0},
citedby = {0},
pages = {305-311},
booktitle = {Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1999, June 28 - Junlly 1, 1999, Las Vegas, Nevada, USA},
editor = {Hamid R. Arabnia},
publisher = {CSREA Press},
isbn = {1-892512-15-7},
}