000			01412nam a22002777a 4500
001			sulbI000313
003			BD-SySUS
005			20160524173214.0
008			160524s1991 riua b 100 0 eng d
020			_a0821865943 (AMS : alk. paper)
020			_a0897913868 (ACM : alk. paper)
040			_aDLC _cDLC _dDLC _dBD-SySUS
082	0	0	_a621.3815 _220 _bCLC
111	2		_aCAV (Conference) _n(2nd : _d1990 : _cCenter for Discrete Mathematics and Theoretical Computer Science) _925594
245	1	0	_aComputer-aided verification '90 : _bproceedings of a DIMACS workshop, June 18-21, 1990 / _cE. M. Clarke, R. P. Kurshan, editors.
260			_aProvidence, RI : _bAmerican Mathematical Society ; _aBaltimore, Md. : _bAssociation for Computing Machinery, _c1991.
300			_axii, 628 p. : _bill. ; _c27 cm.
440		0	_aDIMACS series in discrete mathematics and theoretical computer science, _x1052-1798 ; _vv. 3. _925595
500			_a"The DIMACS Workshop on Computer-Aided Verification was held at the Center for Discrete Mathematics and Theoretical Computer Science on June 18-21, 1990"--T.p. verso.
504			_aIncludes bibliographical references.
650		0	_aDigital integrated circuits _xComputer-aided design _vCongresses. _925596
650		0	_aIntegrated circuits _xVerification _vCongresses. _925597
700	1		_aClarke, E. M., _d1945- _925510
700	1		_aKurshan, R. P., _d1943- _925598
942			_2ddc _cBK
999			_c61000 _d61000