TY  - BOOK
AU  - Ostroff, Jonathan S
TI  - Temporal logic for real time systems
N1  - D6,8(B) M915
ER  -