TY  - BOOK
AU  - Mizuno, T.  / Vshiraior , N.  / Higashino, T . Togashi, A .
TI  - Formal description techniqices and protocol specification testing and verification forte  x / PSTV XVII .97
SN  - 0412820609
PY  - 1997///
CY  - London
PB  - Chapman
KW  - Technological innovation  Communication
ER  -