We use cookies to ensure that we give you the best experience on our website Learn more
Barker, R M; Brady, F A (1995) Experiences in the use of formal methods in the standardisation of a complex OSI protocol. NPL Report. CISE 1/95