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 journalEditorial

Original languageEnglish
Pages (from-to)i
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3707 LNCS
StatePublished - 2005
EventThird International Symposium on Automated Technology for Verification and Analysis, ATVA 2005 - Taipei, Taiwan, Province of China
Duration: 4 Oct 20057 Oct 2005

Cite this