TY  - SER
AU  - Sidhu, Deepinder P.
AU  - Leung, Ting-Kau
TI  -  Formal Methods  for  Protocol Testing a Detailed Study
KW  -  Formal Models
KW  - State Transition Analysis
KW  - Protocol
ER  -