TY  - SER
AU  - Higashino, Teruo
AU  - Bochmann, Gregor V.
TI  - Automatic Analysis and Test Case Derivation  for  a Restricted Class of Lotos Expressions with  Data Parameters
KW  - Automatic Test Case Derivation
KW  - Protocol Models
KW  - Lotos
ER  -