External Links

    Journal: Computer Networks

    Volume 25, Issue 9

    969 -- 980Mohamed G. Gouda. Protocol Verification Made Simple: A Tutorial
    981 -- 1017Gerard J. Holzmann. Design and Validation of Protocols: A Tutorial
    1019 -- 1028Craig Partridge. Protocols for High-Speed Networks: Some Questions and a Few Answers
    runs on