000			00535nam a2200169Ia 4500
008			151218s9999 xx 000 0 und d
020			_a9780262026499 _c
040			_aCLIITBBS _cCLIITBBS _dCLIITBBS
082	0	0	_a004.24 _222 _bBAI/P
100			_aBaier, Christel _913391
245	1	0	_aPrinciples of Model Checking / _b _cby Christel Baier.
260			_aCambridge, Mass. : _bThe MIT Press, _c2008.
300			_axvii, 975 p. : ill. ;
504			_aInclude Index
650			_aPrinciples of model checking _913392
942			_2ddc _cTRB _03
999			_c6536 _d6536