TY  - GEN
AU  - Sifakis, Joseph
TI  - Modeles Temporels des Systemes Logiques: These
PY  - 1974///
CY  - Grenoble
PB  - Universite Scientifique et Medicale de Grenoble
N1  - Contine bibliografie
ER  -