Timed Ethernet: Real-Time Formal Specification of Ethernet.

Henri B. Weinberg, Lenore D. Zuck

Browse the full CONCUR paper archive.