Formal Semantics of SDL Specifications (1988)

by F Orava
Venue:In Protocol Specification, Testing, and Verification VIII