Sidhu, Deepinder P. Leung, Ting-Kau <br/><br/>
Formal Methods  for  Protocol Testing a Detailed Study 

 - 413-426 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Formal Models<br/>State Transition Analysis<br/>Protocol