Inproceedings,

UNISPEX - A Unified Model for Protocol Specification and Verification.

, and .
INFOCOM, page 318-327. IEEE, (1984)

Meta data

Tags

Users

  • @dblp

Comments and Reviews