Temporal Logic for Real-Time Systems (1989)

by J Ostro
Venue:Advanced Software Development Series. Research Studies