681.142.2
P93 2	rotocol specification, testing, and verification, VIII [Текст] : Proceed. of the IFIP WG6.1eighth int. symposium on protocol specification, testing, and verification Atlantic City, New Jersey, USA, june 7-10, 1988 / ed. by S. Aggarwal, K. Sabnani. — Amsterdam : NHPC, 1988. — 421 p.
ISBN 0-444-70542-2