TY  - BOOK
AU  - Sifakis J Ed.
ED  - International workshop on automata verification methods for finite state systems (1989 : Grenible)
TI  - Proceeding on automatic verification methods for finite state systems
T2  - Lecture notes in computer science; 407
U1  - D65,8(B):81, N0 
PY  - 1990///
CY  - Berlin
PB  - Springer-Verlag       
KW  - Computer science
ER  -