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

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 journal › Editorial › peer-review

Original language	English (US)
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
State	Published - 2008
Externally published	Yes
Event	6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008 - Seoul, Korea, Republic of Duration: Oct 20 2008 → Oct 23 2008

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Library availability

Discover UIUC Full Text

Cite this

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. / Cha, Sungdeok; Choi, Jin Young; Kim, Moonzoo et al.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5311 LNCS, 2008, p. vi.

Research output: Contribution to journal › Editorial › peer-review

@article{02a6ebeb283c4cd4a85c4d9179bad142,

title = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface",

author = "Sungdeok Cha and Choi, {Jin Young} and Moonzoo Kim and Insup Lee and Mahesh Viswanathan",

year = "2008",

language = "English (US)",

volume = "5311 LNCS",

pages = "vi",

journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

issn = "0302-9743",

publisher = "Springer",

note = "6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008 ; Conference date: 20-10-2008 Through 23-10-2008",

}

TY - JOUR

T1 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

T2 - 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008

AU - Cha, Sungdeok

AU - Choi, Jin Young

AU - Kim, Moonzoo

AU - Lee, Insup

AU - Viswanathan, Mahesh

PY - 2008

Y1 - 2008

UR - http://www.scopus.com/inward/record.url?scp=56749153800&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=56749153800&partnerID=8YFLogxK

M3 - Editorial

AN - SCOPUS:56749153800

SN - 0302-9743

VL - 5311 LNCS

SP - vi

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Y2 - 20 October 2008 through 23 October 2008

ER -

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

ASJC Scopus subject areas

Library availability

Related links

Cite this