02028nam a2200397Ia 4500001001200000003000800012006001900020007001500039008004100054010001700095020001500112040002100127035002000148050002200168082001400190111015300204245017300357260005600530300002400586490009400610500017000704504005800874533015200932650005201084650005001136650003501186650004901221655002901270700002001299700001901319700003701338710001701375830009501392856012601487999001701613ebr10130654CaPaEBRm        u        cr cn|||||||||060407s2006    ne a    sb    101 0 eng d  z  2005937272  z1586035703  aCaPaEBRcCaPaEBR  a(OCoLC)7125154514aQ295b.N38 2006eb04a005.82222 aNATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Securityd(2005 March 17-22 :cTima�soara, Romania)10aVerification of infinite-state systems with applications to securityh[electronic resource] /cedited by Edmund Clarke, Marius Minea and Ferucio Lauren�tiu �Tiplea.  aAmsterdam ;aWashington, D.C. :bIOS Press,cc2006.  avii, 235 p. :bill.1 aNATO security through science series. D, Information and communication security ;vvol. 1  aProceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Tima�soara, Romania, March 17-22, 2005.  aIncludes bibliographical references and author index.  aElectronic reproduction.bPalo Alto, Calif. :cebrary,d2009.nAvailable via World Wide Web.nAccess may be limited to ebrary affiliated libraries. 0aSystem theoryxMathematical modelsvCongresses. 0aSystem theoryxSecurity measuresvCongresses. 0aComputer securityvCongresses. 0aComputer softwarexVerificationvCongresses. 7aElectronic books.2local1 aClarke, Edmund.1 aMinea, Marius.1 a�Tiplea, Ferucio Lauren�tiu.2 aebrary, Inc. 0aNATO security through science series.nD,pInformation and communication security ;vv. 1.40uhttp://site.ebrary.com/lib/rucke/Doc?id=10130654zAn electronic book accessible through the World Wide Web; click to view  c77648d77648