02185cam a22004213a 4500 14168969 BD-DhUL 20140808153640.0 051115s2006 ne a b 101 0 eng d 2005937272 GBA647473 bnb 013467698 Uk 1586035703 (CStRLIN)MOHG65661588-B (OCoLC)ocm65661588 UUM UUM UKM BAKER LHL BD-DhUL MLCM 2006/40079 (Q) 005.8 VER Verification of infinite-state systems with applications to security / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea. Amsterdam ; Washington, D.C. : IOS Press, c2006. vii, 235 p. : ill. ; 25 cm. US$ 153.45 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şoara, Romania, March 17-22, 2005. Includes bibliographical references and author index. System theory Mathematical models Congresses. System theory Security measures Congresses. Computer security Congresses. Computer software Verification. Congresses. 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) 7 cbc copycat 2 epcn 20 y-gencatlg ddc BK jg87 2006-08-03 z-processor jf01 2006-08-23 to Ft. Meade UNASSESSED; jf88 07-05-24 copy 2 added SEND TO DISCARD COPY NUMBERS GREATER THAN 2 UNLESS REFERENCE OR OTHER REQUEST TO BE KEPT pc25 2005-11-15; oe00 2006-04-18 copy 1 to CIP jf00 2006-04-24 lk53 2006-06-09 additional copy received jf01 2006-08-23 to Ft. Meade UNASSESSED; SEND TO DISCARD COPY NUMBERS GREATER THAN 2 UNLESS REFERENCE OR OTHER REQUEST TO BE KEPT 1460 1460 0 0 ddc 0 005_800000000000000_VER 0 NFIC 2420 DUSL DUSL GEN 2012-11-29 Purchased 005.8 VER 477724 2014-08-08 1 2014-08-08 BK