Temporal logic for real-time systems
By: Jonathan S. Ostroff.
Series: Advanced software development series ;; 1
Publisher: Research Studies Press; Wiley
Published: 1989
Place of publication: Taunton, England; New York
Language: eng
Number of pages: 209
Subjects: Real-time data processing.; Process control.; Discrete-time systems.
Notes: Bibliography: p. 147-154.
Includes index.