Protocol Testing - Towards Proof?
Subtitle: an INWG/NPL Workshop held at the National Physical Laboratory Teddington, Middlesex, TW11 OLW, United Kingdom on 27-29 May 1981
By: proceedings editors: D. Rayner and R.W.S. Hale. Vol.1, Specification and Validation.
Contributors: Rayner, D.; Hale, R. W. S.; National Physical Laboratory (Great Britain); INWG.
Publisher: [National Physical Laboratory]
Published: 1981
Place of publication: [Teddington]
Language: eng