000			00687cam a22001454a 4500
999			_c3283 _d3283
005			20190514132938.0
008			010419s2001 gw a b 000 0 eng
020			_a3540415238 (alk. paper)
082	0	0	_a005.1/4 _221
100			_4aut _aBérard, Beatrice _95594
245	0	0	_aSystems and Software Verification _bModel-Checking Techniques and Tools _cB. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, Ph. Schnoebelen
260			_aBerlin ; _aNew York : _bSpringer, _cc2001.
856	4	2	_3Publisher description _uhttp://www.loc.gov/catdir/enhancements/fy0816/2001032056-d.html
856	4	1	_3Table of contents only _uhttp://www.loc.gov/catdir/enhancements/fy0816/2001032056-t.html