01356nam a2200289 a 4500 vtls000030075 KUKTEM 20251117145136.0 080709t2006 ne f 100 0 eng|d 1586035703 201107132029 VLOAD 200908141457 VLOAD 200908141428 VLOAD 200908131804 VLOAD 200807090930 kam UMP Q295 .V47 2006 Verification of infinite-state systems with applications to security / edited by Edmund Clarke, Marius Minea and Ferucio Laurentiu Tiplea Amsterdam : IOS Press, 2006 235 p. : ill. ; 25 cm. 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, Timasoara, Romania, March 17-22, 2005 System theory Mathematical models Congresses System theory Security measures Congresses Computer security Congresses Computer software Verification Congresses Clarke, Edmund Minea, Marius Tiplea, Ferucio Laurentiu 0 0 0 0 10000 10000 2019-09-04 0 Q295 .V47 2006 0000027410 2019-09-04 00:00:00 1 2019-09-04 OPEN VIRTUA40 40205 40211 VTLSSORT0080*0200*0400*0900*2450*2600*3000*4400*5000*6500*6501*6502*6503*7000*7001*7002*9991