Formal Specification in OSI

Chris A. Vissers, Giuseppe Scollo. Formal Specification in OSI. In Günter Müller, Robert P. Blanc, editors, Networking in Open Systems, International Seminar, Oberlech, Austria, August 18-22, 1986, Proceedings. Volume 248 of Lecture Notes in Computer Science, pages 338-359, Springer, 1986.

Abstract

Abstract is missing.