000			01506n a2200373#a 4500
001			26102
003			P5A
005			20240404163542.0
008			961230s1997 riua b 100 0 eng||
010			_a96054839
015			_aC98-2578-8
020			_a0821806807 (alk. paper)
035			_aocm36201609
040			_aDLC _cDLC _dNLC _dOCL
049			_aP5AA
055	0	2	_aQA76.76*
082	0	0	_a005.276 _bS757
090			_ama12cs
111	2		_aWorkshop on the SPIN Verification System _n(2nd: _d1996: _cRutgers University) _911699
245	1	4	_aThe SPIN verification system: _bthe second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996/ _cJean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled, editors.
260			_aProvidence, R.I.: _bAmerican Mathematical Society, _cc1997.
300			_axii, 203 p.: _bill.; _c26 cm.
500			_aWorkshop held at Rutgers Univ. in New Brunswick, N.J.
504			_aIncludes bibliographical references.
630	0	0	_aSPIN (Computer file) _vCongresses.
650	0	4	_aComputer software- _xVerification. _vCongresses.
697			_aMatemática Aplicada 12- _bCongressos e Seminários- _xInformática. _923776
700	1		_aGrégoire, Jean-Charles, _d1960- _911702
700	1		_aHolzmann, Gerard J., _d1951- _911703
700	1		_aPeled, Doron, _d1962- _911704
942			_2impa _cBK
999			_c25492 _d25492
490		0	_aDIMACS series in discrete mathematics and theoretical computer science; _v32 _935430