TY  - BOOK
AU  - Sifakis J
ED  - International Workship on Automatic Verification Methods for Finite Systems( 1st : 1989 : France )
ED  - International Workship on Automatic Verification Methods for Finite Systems 1st
TI  - Automatic verification methods for finite systems : proceedings
U1  - 5.14 
PY  - 1989///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer science
KW  - Finite state system
ER  -