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

Doron A. Peled; Yih Kuen Tsay

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

CS@BIU

Research output: Contribution to journal › Editorial

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

Cite this

@article{b048daaf1f6541e5a48d19d4e171af36,

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

author = "Peled, {Doron A.} and Tsay, {Yih Kuen}",

year = "2005",

language = "אנגלית",

volume = "3707 LNCS",

pages = "i",

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

issn = "0302-9743",

publisher = "Springer Verlag",

note = "Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2005 ; Conference date: 04-10-2005 Through 07-10-2005",

}

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. / Peled, Doron A.; Tsay, Yih Kuen.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3707 LNCS, 2005, p. i.

Research output: Contribution to journal › Editorial

TY - JOUR

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

T2 - Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2005

AU - Peled, Doron A.

AU - Tsay, Yih Kuen

PY - 2005

Y1 - 2005

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

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.editorial???

AN - SCOPUS:33646173681

SN - 0302-9743

VL - 3707 LNCS

SP - i

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 - 4 October 2005 through 7 October 2005

ER -

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

Other files and links

Cite this