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.
Abstract is missing.