Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Sungdeok Cha, Jin Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan

Research output: Contribution to journalEditorialpeer-review

Original languageEnglish
Pages (from-to)vi
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5311 LNCS
Publication statusPublished - 2008
Event6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008 - Seoul, Korea, Republic of
Duration: 2008 Oct 202008 Oct 23

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Cite this