Original language | English |
---|---|
Pages (from-to) | 93-95 |
Journal | Science of Computer Programming |
Volume | 16 |
DOIs | |
Publication status | Published - 1991 |
Book review: Temporal Logic for Real-Time Systems
J.J.M. Hooman
Research output: Contribution to journal › Book review › Professional