| Original language | English |
|---|---|
| Pages (from-to) | 93-95 |
| Journal | Science of Computer Programming |
| Volume | 16 |
| DOIs | |
| Publication status | Published - 1991 |
Cite this
Hooman, J. J. M. (1991). Book review: Temporal Logic for Real-Time Systems. Science of Computer Programming, 16, 93-95. https://doi.org/10.1016/0167-6423(91)90029-W
@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",
}
Hooman, JJM 1991, 'Book review: Temporal Logic for Real-Time Systems', Science of Computer Programming, vol. 16, pp. 93-95. https://doi.org/10.1016/0167-6423(91)90029-W
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 journal › Book review › Professional
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 -
Hooman JJM. Book review: Temporal Logic for Real-Time Systems. Science of Computer Programming. 1991;16:93-95. https://doi.org/10.1016/0167-6423(91)90029-W