Temporal logic of real-time systems (0)

by J Ostro
Venue:Research Studies