Temporal logic for real-time systems
By: Jonathan S. Ostroff.
Series: Advanced software development series
Publisher: Research Studies Press
Place of publication: Taunton
Number of pages: 209
Subjects: Real-time data processing.
Notes: Bibliography: p147-154. - Includes index.