000			00605nam a2200205Ia 4500
008			161214s9999 xx 000 0 und d
020			_a3540262784 _c(pbk)
082			_223 _a004 _bBRO
100			_aJonsson, Bengt
245		0	_aModel-based testing of reactive systems
260			_aBerlin: _bSpringer, _c2005
300			_aviii, 659 p.; _b: _c24 cm.
490			_aLecture notes in computer science
650			_aInformation technology -- Testing
650			_aSystems software -- Testing
700			_aBroy, Manfred
700			_aKatoen, Joost-Pieter
700			_aLeucker, Martin
942			_2ddc _cBK
999			_c6055 _d6055