Joy N. Reed. Formal Methods and Industrial-Strength Computer Networks. In Manfred Broy, Bernhard Rumpe, editors, Requirements Targeting Software and Systems Engineering, International Workshop RTSE 97, Bernried, Germany, October 12-14, 1997, Proceedings. Volume 1526 of Lecture Notes in Computer Science, pages 223-233, Springer, 1997.
@inproceedings{Reed97:1, title = {Formal Methods and Industrial-Strength Computer Networks}, author = {Joy N. Reed}, year = {1997}, researchr = {https://researchr.org/publication/Reed97%3A1}, cites = {0}, citedby = {0}, pages = {223-233}, booktitle = {Requirements Targeting Software and Systems Engineering, International Workshop RTSE 97, Bernried, Germany, October 12-14, 1997, Proceedings}, editor = {Manfred Broy and Bernhard Rumpe}, volume = {1526}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-65309-0}, }