Skip to content

On the Formal Specification of OSI Services and Protocols.

Ed Brinksma

VenueCICCC
Year1986
ProceedingsICCC

Browse the full ICCC paper archive.