|
Protocol specification, testing, and verification, III : proceedings of the IFIP WG 6.1 third international workshop on protocol specification, testing, testing and verification, organized by IBM research Ruschlikon, Switzerland, 31 may- 2 june, 1983 / edited by Harry Rudin, Colin H. West |
|