Protocol specification, testing, and verification, VIII Proceedings of the IFIP WG 6.1 8th International Symposium Atlantic City N.J. June 7-10 1988
Other Authors: | Aggarwal, S. (Editor), Sabnani, K. (Editor) |
---|---|
Format: | Book |
Language: | English |
Published: |
Amsterdam
North-Holland
1988
|
Subjects: |
Similar Items
-
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) -
Network information processing systems Proceedings of the IFIP TC6/TC* Open Symposium Sofia, Bulgaria, 9-13 May, 1988
Published: (1989) -
Network interconnection and protocol conversion
Published: (1988) -
Design and validation of computer protocols
by: Holzmann, Gerard J.
Published: (1991)