Originalsprog | Engelsk |
---|---|
Titel | Advances in Temporal Logic |
Redaktører | H. Barringer, M. Fisher, D. Gabbay, G. Gough |
Forlag | Kluwer Academic Publishers |
Publikationsdato | 2000 |
Sider | 185-206 |
Status | Udgivet - 2000 |
Navn | Applied Logic Series |
---|---|
Nummer | 16 |
ISSN | 1386-2790 |