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

Francesco Logozzo; Doron A. Peled; Lenore D. Zuck

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

Francesco Logozzo
, Doron A. Peled
, Lenore D. Zuck

Department of Computer Science and Artificial Intelligence

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	vi
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4905 LNCS
State	Published - 2008
Event	9th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2008 - San Francisco, CA, United States Duration: 7 Jan 2008 → 9 Jan 2008

Cite this

Logozzo, Francesco ; Peled, Doron A. ; Zuck, Lenore D. / Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) : Preface. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2008 ; Vol. 4905 LNCS. pp. vi.

@article{4cb11882bfee4fedb13ba99e511f8921,

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

author = "Francesco Logozzo and Peled, \{Doron A.\} and Zuck, \{Lenore D.\}",

year = "2008",

language = "אנגלית",

volume = "4905 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 Science and Business Media Deutschland GmbH",

note = "9th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2008 ; Conference date: 07-01-2008 Through 09-01-2008",

}

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. / Logozzo, Francesco; Peled, Doron A.; Zuck, Lenore D.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4905 LNCS, 2008, p. vi.

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 - 9th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2008

AU - Logozzo, Francesco

AU - Peled, Doron A.

AU - Zuck, Lenore D.

PY - 2008

Y1 - 2008

UR - https://www.scopus.com/pages/publications/40549132201

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

AN - SCOPUS:40549132201

SN - 0302-9743

VL - 4905 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 - 7 January 2008 through 9 January 2008

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