TY  - GEN
AU  - Kroger, F
TI  - Some new aspects of the temporal logic of concurrent programs
PY  - 1983///
CY  - Munchen
PB  - Universitat Munchen
N1  - Lucrarea este multigrafiata; Contine bibliografie
ER  -