Original language | English |
---|---|
Pages (from-to) | i |
Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Volume | 3707 LNCS |
State | Published - 2005 |
Event | Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2005 - Taipei, Taiwan, Province of China Duration: 4 Oct 2005 → 7 Oct 2005 |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Doron A. Peled, Yih Kuen Tsay
Research output: Contribution to journal › Editorial