Book review: Temporal Logic for Real-Time Systems

J.J.M. Hooman

Research output: Contribution to journalBook reviewProfessional

Original languageEnglish
Pages (from-to)93-95
JournalScience of Computer Programming
Volume16
DOIs
Publication statusPublished - 1991

Cite this