Computer-aided verification: proceedings 2nd International conference, CAV'90
Providence, RI; Baltimore, Md.
American Mathematical Society; Association for Computing Machinery
1991
xiii, 372 p.: ill.; 27 cm
Lecture notes in computer science
531
Includes bibliographical references
Congresses ، Digital integrated circuits-- Computer-aided design
Congresses ، Integrated circuits-- Verification
TK
7874
.
D553
1990a
AU
E. M. Clarke, R. P. Kurshan, editors
AU .M .E ,ekralC 1945-
AU .P .R ,nahsruK 1943-
TI
SE
DIAMACS Worshop on computer- Aided Verification )2nd: 1980: Center for Discrete Mathematics and Theoretical Computer Science( )Conference()2nd: 1990: Center for Discrete Mathematics and Theoretical Computer Science(