| Original language | English |
|---|---|
| Pages (from-to) | v |
| Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Volume | 1019 |
| Publication status | Published - 1995 |
| Externally published | Yes |
| Event | 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1995 - Aarhus, Denmark Duration: 19 May 1995 → 20 May 1995 |
Foreword
E. Brinksma, W. R. Cleaveland, K. G. Larsen, Tiziana Margaria, Bernhard Steffen
Research output: Contribution to journal › Editorial