External Links

    Journal: Computer Networks

    Volume 24, Issue 3

    203 -- 218Reinhard Gotzhein. Temporal Logic and Applications-A Tutorial
    219 -- 242Colin H. West. Protocol Validation - Principles and Applications
    243 -- 273Bharat T. Doshi, Pravin K. Johri. Communication Protocols for High Speed Packet Networks
    runs on