000			00407nam a2200157Ia 4500
008			190215s9999||||xx |||||||||||||| ||und||
020			_a9780262032704
082			_a004.21 _bCla
100			_aClarke, Edmund M.
245		0	_aModel Checking
260			_aCambridge _bMIT Press _c1999
300			_axiv,314p.
650			_aComputer systems--Verification
700			_aGrumberg, Orna; Peleg, Doron
942			_cBK
999			_c470 _d470