| 000 | 01356nam a2200289 a 4500 | ||
|---|---|---|---|
| 001 | vtls000030075 | ||
| 003 | KUKTEM | ||
| 005 | 20251117145136.0 | ||
| 008 | 080709t2006 ne f 100 0 eng|d | ||
| 020 | _a1586035703 | ||
| 039 | 9 |
_a201107132029 _bVLOAD _c200908141457 _dVLOAD _c200908141428 _dVLOAD _c200908131804 _dVLOAD _y200807090930 _zkam |
|
| 040 | _aUMP | ||
| 090 | _aQ295 .V47 2006 | ||
| 245 | 1 | 0 |
_aVerification of infinite-state systems with applications to security / _cedited by Edmund Clarke, Marius Minea and Ferucio Laurentiu Tiplea |
| 260 |
_aAmsterdam : _bIOS Press, _c2006 |
||
| 300 |
_a235 p. : _bill. ; _c25 cm. |
||
| 440 | 0 |
_aNATO security through science series. D, Information and communication security ; _vvol. 1 |
|
| 500 | _aProceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timasoara, Romania, March 17-22, 2005 | ||
| 650 | 0 |
_aSystem theory _xMathematical models _vCongresses |
|
| 650 | 0 |
_aSystem theory _xSecurity measures _vCongresses |
|
| 650 | 0 |
_aComputer security _vCongresses |
|
| 650 | 0 |
_aComputer software _xVerification _vCongresses |
|
| 700 | 1 | _aClarke, Edmund | |
| 700 | 1 | _aMinea, Marius | |
| 700 | 1 | _aTiplea, Ferucio Laurentiu | |
| 999 |
_aVIRTUA40 _c40205 _d40211 |
||
| 999 | _aVTLSSORT0080*0200*0400*0900*2450*2600*3000*4400*5000*6500*6501*6502*6503*7000*7001*7002*9991 | ||