TY  - BOOK
AU  - Clarke,E.M.
AU  - Kurshan,R.P.
ED  - CAV (Conference)
TI  - Computer-aided verification '90: proceedings of a DIMACS workshop, June 18-21, 1990 
SN  - 0821865943 (AMS : alk. paper)
U1  - 621.3815 20
PY  - 1991///
CY  - Providence, RI, Baltimore, Md.
PB  - American Mathematical Society, Association for Computing Machinery
KW  - Digital integrated circuits
KW  - Computer-aided design
KW  - Congresses
KW  - Integrated circuits
KW  - Verification
N1  - "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; Includes bibliographical references
ER  -