02028nam a2200397Ia 4500 ebr10130654 CaPaEBR m u cr cn||||||||| 060407s2006 ne a sb 101 0 eng d 2005937272 1586035703 CaPaEBR CaPaEBR (OCoLC)71251545 Q295 .N38 2006eb 005.8 22 NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Tima�soara, Romania) Verification of infinite-state systems with applications to security [electronic resource] / edited by Edmund Clarke, Marius Minea and Ferucio Lauren�tiu �Tiplea. Amsterdam ; Washington, D.C. : IOS Press, c2006. vii, 235 p. : ill. NATO security through science series. D, Information and communication security ; vol. 1 Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Tima�soara, Romania, March 17-22, 2005. Includes bibliographical references and author index. Electronic reproduction. Palo Alto, Calif. : ebrary, 2009. Available via World Wide Web. Access may be limited to ebrary affiliated libraries. System theory Mathematical models Congresses. System theory Security measures Congresses. Computer security Congresses. Computer software Verification Congresses. Electronic books. local Clarke, Edmund. Minea, Marius. �Tiplea, Ferucio Lauren�tiu. ebrary, Inc. NATO security through science series. D, Information and communication security ; v. 1. http://site.ebrary.com/lib/rucke/Doc?id=10130654 An electronic book accessible through the World Wide Web; click to view 77648 77648