| 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 | 2529 LNCS |
| State | Published - 2002 |
| Externally published | Yes |
| Event | 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002 - Houston, United States Duration: 11 Nov 2002 → 14 Nov 2002 |