Original language | English |
---|---|
Title of host publication | Advances in Temporal Logic |
Editors | H. Barringer, M. Fisher, D. Gabbay, G. Gough |
Publisher | Kluwer Academic Publishers |
Publication date | 2000 |
Pages | 185-206 |
Publication status | Published - 2000 |
Series | Applied Logic Series |
---|---|
Number | 16 |
ISSN | 1386-2790 |