Temporal Logic for Real-Time Systems (1989)

by J S OSTROFF
Venue:Advanced Software Development Series