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 /
Άλλοι συγγραφείς: | |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Amsterdam :
North-Holland,
1986
|
Θέματα: |