000			00793nam a2200217 4500
001			vtls000011568
003			KUKTEM
005			20251117142345.0
008			060606t2004 xxu gr |0 1 0|eng |
020			_a3540415238
039		9	_a201107131800 _bVLOAD _c200908141141 _dVLOAD _c200908141112 _dVLOAD _c200908131602 _dVLOAD _y200606141156 _zVLOAD
040			_aUMP
090			_aQA76.76.V45 S97 2001
245	0	0	_aSystems and software verification : _b model-checking techniques and tools / _c B. Berard ... [et al.]
260			_aBerlin; New York: _b Springer-Verlag, _c 2001
300			_axii, 190 p.: _b ill.; _c 24 cm.
500			_aIncludes bibliographical references and index
650	0	0	_aComputer systems _xVerification
650	0	0	_aComputer software _xVerification
700	1	2	_aBerard, B.
999			_c27659 _d27665