Formal Methods for Communication Protocol Specification ...Formal Methods for Communication Protocol...
107
Formal Methods for Communication Protocol Specification ...Formal Methods for Communication Protocol Specification and Verification Author: Carl A. Sunshine Subject: Increasingly numerous