Book review: Temporal Logic for Real-Time Systems

J.J.M. Hooman

Onderzoeksoutput: Bijdrage aan tijdschrift › Boek bespreking › Professioneel

Originele taal-2	Engels
Pagina's (van-tot)	93-95
Tijdschrift	Science of Computer Programming
Volume	16
DOI's	https://doi.org/10.1016/0167-6423(91)90029-W
Status	Gepubliceerd - 1991

Toegang tot 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",

}