Login / Signup

Tools for Verifying Network Protocols.

Brent Hailpern
Published in: Logics and Models of Concurrent Systems (1984)
Keyphrases
  • network protocols
  • real time
  • intelligent systems
  • wireless mesh networks