Book review: Temporal Logic for Real-Time Systems

J.J.M. Hooman

Research output: Contribution to journal › Book review › Professional

Original language	English
Pages (from-to)	93-95
Journal	Science of Computer Programming
Volume	16
DOIs	https://doi.org/10.1016/0167-6423(91)90029-W
Publication status	Published - 1991

Access to Document

@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",

}