Verification of infinite-state systems with applications to security / 
edited by Edmund Clarke, Marius Minea and Ferucio Laurentiu Tiplea 
 - Amsterdam :  IOS Press,  2006 
 - 235 p. :  ill. ;  25 cm. 
 - NATO security through science series. D, Information and communication security ;  vol. 1 .
<br/><br/> Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timasoara, Romania, March 17-22, 2005 
<br/><br/><label>ISBN: </label>1586035703 
<br/><br/><label>Subjects--Topical Terms: </label><br/>System theory--Mathematical models--Congresses<br/>System theory--Security measures--Congresses<br/>Computer security--Congresses<br/>Computer software--Verification--Congresses