000			00551nam a2200181Ia 4500
008			161214s9999 xx 000 0 und d
020			_a9780321228628 _c(hbk)
082			_223 _a620.0011 _bHOL
100			_aHolzmann, Gerard J.
245		0	_aSPIN model checker : primer and reference manual
260			_aBoston: _bAddison-Wesley, _c2003
300			_a596 p.; _bIndex.: _c24 cm.
650			_aChecker
650			_aComputer programs -- testing
650			_aSPIN model checker
650			_aSystems engineering -- mahtematics models
942			_2ddc _cBK
999			_c14279 _d14279