000			02028nam a2200397Ia 4500
001			ebr10130654
003			CaPaEBR
006			m u
007			cr cn|||||||||
008			060407s2006 ne a sb 101 0 eng d
010			_z 2005937272
020			_z1586035703
040			_aCaPaEBR _cCaPaEBR
035			_a(OCoLC)71251545
050	1	4	_aQ295 _b.N38 2006eb
082	0	4	_a005.8 _222
111	2		_aNATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security _d(2005 March 17-22 : _cTima�soara, Romania)
245	1	0	_aVerification of infinite-state systems with applications to security _h[electronic resource] / _cedited by Edmund Clarke, Marius Minea and Ferucio Lauren�tiu �Tiplea.
260			_aAmsterdam ; _aWashington, D.C. : _bIOS Press, _cc2006.
300			_avii, 235 p. : _bill.
490	1		_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, Tima�soara, Romania, March 17-22, 2005.
504			_aIncludes bibliographical references and author index.
533			_aElectronic reproduction. _bPalo Alto, Calif. : _cebrary, _d2009. _nAvailable via World Wide Web. _nAccess may be limited to ebrary affiliated libraries.
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.
655		7	_aElectronic books. _2local
700	1		_aClarke, Edmund.
700	1		_aMinea, Marius.
700	1		_a�Tiplea, Ferucio Lauren�tiu.
710	2		_aebrary, Inc.
830		0	_aNATO security through science series. _nD, _pInformation and communication security ; _vv. 1.
856	4	0	_uhttp://site.ebrary.com/lib/rucke/Doc?id=10130654 _zAn electronic book accessible through the World Wide Web; click to view
999			_c77648 _d77648