000			00470nam a2200157Ia 4500
008			230911s9999||||xx |||||||||||||| ||und||
020			_a9783540415237
082			_a005.3 BER/BID
100			_aBerard, B
245		0	_aSystems and software verification: model-checking techniques and tools
260			_aNew York _bSpringer _c2001
300			_a202
650			_aCOMPUTER SCIENCE AND ENGINEERING
700			_aBerard, BBidoit, M, Finkel, A, Laroussinie, F
942			_cBK
999			_c3914 _d3914