Verification of infinite-state systems with applications to security  [electronic resource] / 
edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea. 
 - Amsterdam ;  Washington, D.C. :  IOS Press,  c2006. 
 - vii, 235 p. :  ill. 
 - NATO security through science series. D, Information and communication security ;  vol. 1 .
 - NATO security through science series.  D,  Information and communication security ;  v. 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/><br/>Electronic reproduction. <br/>Palo Alto, Calif. : <br/>ebrary, <br/>2009. <br/>Available via World Wide Web. <br/>Access may be limited to ebrary affiliated libraries. 
<br/><br/><label>ISBN: </label>
<br/><br/><label>LCCN: </label>
<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>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>Q295  / .N38 2006eb 
<br/><br/><label>Dewey Class. No.: </label>005.8