TY  - SER
AU  - De Groot, S. M. H
AU  - Olah, A. L
TI  - Alternative Specification and Verification of A Periodic State Exchange Protocol
KW  - Communication System Performance
KW  - Computer Network
ER  -