|
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 / edited by Michel Diaz |
|