| Original language | English |
|---|---|
| Pages (from-to) | V-VI |
| Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Volume | 2144 |
| Publication status | Published - 2001 |
| Externally published | Yes |
| Event | 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2001 held jointly with the 14th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2009 - Livingston, United Kingdom Duration: 4 Sep 2001 → 7 Sep 2001 |