Verification of infinite-state systems with applications to security / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea. Clarke, Edmund. Minea, Marius. Ţiplea, Ferucio Laurenţiu NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Timaşoara, Romania) System theory Mathematical models Congresses. System theory Security measures Congresses. Computer security Congresses. Computer software Verification. Congresses. MLCM 2006/40079 (Q) 005.8 VER Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005. Includes bibliographical references and author index. Amsterdam ; Washington, D.C. : IOS Press, c2006. c2006. 2006 Text vii, 235 p. : eng NATO security through science series. D : Information and communication security ; vol. 1