TY  - BOOK
AU  - Emerson,E.Allen
AU  -  Sistla,A.Prasad
ED  - CAV (Conference)
TI  - Computer aided verification: 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 proceedings 
SN  - 9783540677703
U1  - 004.24 22
PY  - 2000///
CY  - New York
PB  - Springer
KW  - Computer software
KW  - Verification
KW  - Congresses
KW  - Integrated circuits
KW  - Circuits int�egr�es
KW  - V�erification
KW  - Congr�es
KW  - Logiciels
N1  - Includes bibliographical references and index; Also issued online
ER  -