Original language | English |
---|---|
Pages (from-to) | vi |
Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Volume | 5311 LNCS |
Publication status | Published - 2008 |
Event | 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008 - Seoul, Korea, Republic of Duration: 2008 Oct 20 → 2008 Oct 23 |
ASJC Scopus subject areas
- Theoretical Computer Science
- General Computer Science