000			02185cam a22004213a 4500
001			14168969
003			BD-DhUL
005			20140808153640.0
008			051115s2006 ne a b 101 0 eng d
010			_a 2005937272
015			_aGBA647473 _2bnb
016	7		_a013467698 _2Uk
020			_a1586035703
035			_a(CStRLIN)MOHG65661588-B
035			_a(OCoLC)ocm65661588
040			_aUUM _cUUM _dUKM _dBAKER _dLHL _dBD-DhUL
050	0	0	_aMLCM 2006/40079 (Q)
082			_a005.8 _bVER
245	0	0	_aVerification of infinite-state systems with applications to security / _cedited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.
260			_aAmsterdam ; _aWashington, D.C. : _bIOS Press, _cc2006.
300			_avii, 235 p. : _bill. ; _c25 cm.
365			_aUS$ _b153.45
440		0	_aNATO security through science series. _nD : _pInformation and communication security ; _vvol. 1
500			_aProceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005.
504			_aIncludes bibliographical references and author index.
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		_aŢiplea, Ferucio Laurenţiu
711	2		_aNATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security _d(2005 March 17-22 : _cTimaşoara, Romania)
906			_a7 _bcbc _ccopycat _d2 _eepcn _f20 _gy-gencatlg
942			_2ddc _cBK
955			_ajg87 2006-08-03 z-processor _ajf01 2006-08-23 to Ft. Meade UNASSESSED; _ajf88 07-05-24 copy 2 added SEND TO DISCARD COPY NUMBERS GREATER THAN 2 UNLESS REFERENCE OR OTHER REQUEST TO BE KEPT
955			_apc25 2005-11-15; oe00 2006-04-18 copy 1 to CIP _ajf00 2006-04-24 _alk53 2006-06-09 additional copy received _ajf01 2006-08-23 to Ft. Meade UNASSESSED; SEND TO DISCARD COPY NUMBERS GREATER THAN 2 UNLESS REFERENCE OR OTHER REQUEST TO BE KEPT
999			_c1460 _d1460