Higashino, Teruo Bochmann, Gregor V. <br/><br/>
Automatic Analysis and Test Case Derivation  for  a Restricted Class of Lotos Expressions with  Data Parameters 

 - 29-42 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic Test Case Derivation<br/>Protocol Models<br/>Lotos