Holzmann, Gerard J. <br/><br/>
An Automated Verificattion Method  for  Distributed Systems Softwae Based on Model Extraction 

 - 364-377 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/> for mal Method<br/>Model Creation<br/>Software Testing