Huang, Chung-Ming Hsu, Jenq-Muh <br/><br/>
An Incremental Maximal Progress Protocol Verification  for  Ecfsm-Based Protocols 

 - 600-615 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Networks<br/> for mal Methods<br/>Protocol Engineering