TY  - SER
AU  - Huang, Yen-Min
AU  - Ravishankar, Chinya V.
TI  - Constructive Protocol Specification Using Cicerro
KW  - Protocol
KW  - Protocol Specification
KW  - Event-Driven
ER  -