External Links

    Journal: Computer Networks

    Volume 18, Issue 3

    167 -- 184Gregor von Bochmann. Protocol Specification for OSI
    185 -- 201Björn Pehrson. Protocol Verification for OSI
    203 -- 219Richard J. Linn Jr.. Conformance Testing for OSI Protocols
    221 -- 238Deepinder P. Sidhu, Thomas P. Blumer. Semi-Automatic Implementation of OSI Protocols
    runs on