Temporal logic for real-time systems /

Bibliographic Details

Main Author:	Ostroff, Jonathan S., 1954-
Format:	Book
Language:	English
Published:	Taunton, England : New York : Research Studies Press ; Wiley, [1989]
Series:	Advanced software development series ; 1.
Subjects:	Real-time data processing. Process control. Discrete-time systems.