TY  - GEN
AU  - Drissi-Kaitouni, Omar
TI  - Compling temporal logic specifications into observers
PY  - 1988///
CY  - Paris
PB  - I. N. R. I. A
N1  - IMAR
ER  -