A method for specifying, implementing, and verifying media access control protocols

✍ Scribed by Brooks, C.A.; Cieslak, R.; Varaiya, P.

• Book ID: 114560790
• Publisher: IEEE
• Year: 1990
• Tongue: English
• Weight: 848 KB
• Volume: 10
• Category: Article
• ISSN: 1066-033X
• DOI: 10.1109/37.56282