Protocol specification, testing, and verification, V : proceedings of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing, and Verification organized by the LAAS du CNRS Toulouse-Moissac, France, June 10-13, 1985 /
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Published: |
Amsterdam:
North-Holland,
1986
|
| Subjects: |