Transforming temporal logic specifications
Schlingloff, H
Transforming temporal logic specifications H. Schlingloff, F. Kroger - Munchen Universitat Munchen 1986 - 22 p 20 cm - TUM I 8612 .
Contine bibliografie
Transforming temporal logic specifications H. Schlingloff, F. Kroger - Munchen Universitat Munchen 1986 - 22 p 20 cm - TUM I 8612 .
Contine bibliografie