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

@article{4f7fb11361cf43f6a5bde34546808479,
title = "Book review: Temporal Logic for Real-Time Systems",
author = "J.J.M. Hooman",
year = "1991",
doi = "10.1016/0167-6423(91)90029-W",
language = "English",
volume = "16",
pages = "93--95",
journal = "Science of Computer Programming",
issn = "0167-6423",
publisher = "Elsevier",

}

Book review: Temporal Logic for Real-Time Systems. / Hooman, J.J.M.

In: Science of Computer Programming, Vol. 16, 1991, p. 93-95.

Research output: Contribution to journalBook reviewProfessional

TY - JOUR

T1 - Book review: Temporal Logic for Real-Time Systems

AU - Hooman, J.J.M.

PY - 1991

Y1 - 1991

U2 - 10.1016/0167-6423(91)90029-W

DO - 10.1016/0167-6423(91)90029-W

M3 - Book review

VL - 16

SP - 93

EP - 95

JO - Science of Computer Programming

JF - Science of Computer Programming

SN - 0167-6423

ER -