000			00443pam a2200169a 44500
008			160408b2001 xxu||||| |||| 00| 0 eng d
020			_a0262032708
082			_a004.21 _bC55M
100			_aClarke,Edmund M.,Grumberg,Orna
245	1		_aMODEL CHECKING
260			_a _bMit Press, Cambridge _c2001
300			_axiv,314
650			_aComputer Systems -- Verification
700			_aPeled,Doron A.
964			_gCIRC
997			_aA140718 C
999			_c341755 _d341755