Verification of infinite-state systems with applications to security / 
edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea. 
 - Amsterdam ;  Washington, D.C. :  IOS Press,  c2006. 
 - vii, 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, Timaşoara, Romania, March 17-22, 2005. 
<br/><br/>Includes bibliographical references and author index. 
<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
<br/><br/><label>LC Class. No.: </label>Q 295