TY  - BOOK
AU  - Berry, Gerard. Ed.
AU  - Comon, Hubert. Ed.
AU  - Finkel, Alain. . Ed.
TI  - Computer aided verification : 13th international conference; proceedings
SN  - 3540423451
CY  - Berlin
KW  - Automata- verification process
KW  - Model checking
ER  -