Design and validation of computer protocols
| Main Author: | Holzmann, Gerard J. (Author) |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
London New Jersey
Prentice-Hall AT&T Bell Telephone Laboratories, Inc.
c1991 c1991
|
| Subjects: |
Similar Items
-
Network interconnection and protocol conversion
Published: (1988) -
Performance analysis of multiple access protocols
by: Tasaka, Shuji
Published: (1986) -
Communications architecture for distributed systems
by: Cypser, R. J.
Published: (1978) -
Protocol specification, testing, and verification, VII Proceedings of the IFIP WG 6.1 7th Int. Conference Zurich, Switzerland, 5-8 May, 1987
Published: (1987) -
Protocol specification, testing and verification, VI Proceedings of the IFIP WG 6.1 6th international workshop Montreal, Quebec, Canada, June 10-13 1986
Published: (1987)