02307nam a2200469Ia 4500001001000000003000700010005001700017006001900034007001500053008004100068020003600109020002700145035002200172035002300194035002500217035002200242035002000264040004100284050002000325082001400345111015800359245016700517260005600684300002400740490009400764500016700858504005801025590014701083650006001230650005801290650004301348650005701391655002901448700002801477700002701505700003901532710002801571797002001599830010301619856009601722999001901818EBC265966MiAaPQ20250821100902.0m     o  d |      cr cnu||||||||060407s2006    ne a    ob    101 0 eng d  a9781607501473q(electronic bk.)  z9781586035709q(print)  a(MiAaPQ)EBC265966  a(Au-PeEL)EBL265966  a(CaPaEBR)ebr10130654  a(CaONFJC)MIL50510  a(OCoLC)71251545  aMiAaPQbengerdaepncMiAaPQdMiAaPQ 4aQ295b.N38 20060 a005.82222 aNATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Securityd(2005 March 17-22 :cTimasoara, Romania)910366910aVerification of infinite-state systems with applications to securityh[electronic resource] /cedited by Edmund Clarke, Marius Minea and Ferucio Laurentiu 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, Timasoara, Romania, March 17-22, 2005.  aIncludes bibliographical references and author index.  aElectronic reproduction. Ann Arbor, MI : ProQuest, 2018. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. 0aSystem theoryxMathematical modelsvCongresses.9103670 0aSystem theoryxSecurity measuresvCongresses.9103671 0aComputer securityvCongresses.9103672 0aComputer softwarexVerificationvCongresses.9103673 4aElectronic books.9351421 aClarke, Edmund.91036741 aMinea, Marius.91036751 aTiplea, Ferucio Laurentiu.91036762 aProQuest (Firm)91036772 aProQuest (Firm) 0aNATO security through science series.nD,pInformation and communication security ;vv. 1.910367840uhttps://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=265966zClick to View  c232036d232036