TY  - BOOK
AU  - Sifakis,J
TI  - Automatic verification methods for finite state systems: International Workshop, Grenoble, France, June 12-14, 1989, proceedings
SN  - 3540521488
PY  - 1990///
CY  - Berlin
PB  - Springer-Verlag
N1  - Includes bibliographical references
ER  -