TY  - SER
AU  - Holzmann, Gerard J.
TI  - An Automated Verificattion Method  for  Distributed Systems Softwae Based on Model Extraction
KW  -  for mal Method
KW  - Model Creation
KW  - Software Testing
ER  -