TY  - BOOK
AU  - Dill, David L. Ed.
TI  - Computer Aided Verification: Proceedings, 6th Int.Conf., California, 1994
SN  - 3540581790
CY  - Berlin
KW  - Computer
ER  -