| Original language | English |
|---|---|
| Pages (from-to) | V-VII |
| Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Volume | 827 LNAI |
| State | Published - 1994 |
| Event | 1st International Conference on Temporal Logic, ICTL 1994 - Bonn, Germany Duration: 11 Jul 1994 → 14 Jul 1994 |
Preface
- Dov Gabbay
- , Hans Jürgen Ohlbach
Research output: Contribution to journal › Editorial