Originele taal-2 | Engels |
---|---|
Pagina's (van-tot) | 93-95 |
Tijdschrift | Science of Computer Programming |
Volume | 16 |
DOI's | |
Status | Gepubliceerd - 1991 |
Book review: Temporal Logic for Real-Time Systems
J.J.M. Hooman
Onderzoeksoutput: Bijdrage aan tijdschrift › Boek bespreking › Professioneel