TY  - BOOK
AU  - Sifakis, J. Ed.
TI  - Automatic Verification Methods for Finite State Systems: Proceedings, International Workshop, France, 1989
T2  - Lecture notes in computer science
SN  - 3540521488
CY  - Berlin
KW  - Automatic Verification Methods
KW  - Finite State Systems
ER  -