TY  - GEN
AU  - Schlingloff, H
AU  - Kroger, F
TI  - Transforming temporal logic specifications
PY  - 1986///
CY  - Munchen
PB  - Universitat Munchen
N1  - Contine bibliografie
ER  -