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

Zohar Manna; Doron Peled

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

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript

Original language	English
Title of host publication	Time for Verification - Essays in Memory of Amir Pnueli
Editors	Zohar Manna, Doron A. Peled
Pages	viii
State	Published - 2010

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	6200 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Cite this

Manna, Z., & Peled, D. (2010). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. In Z. Manna, & D. A. Peled (Eds.), Time for Verification - Essays in Memory of Amir Pnueli (pp. viii). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6200 LNCS).

Manna, Zohar ; Peled, Doron. / Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) : Preface. Time for Verification - Essays in Memory of Amir Pnueli. editor / Zohar Manna ; Doron A. Peled. 2010. pp. viii (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{47dc307b87384ddaba358103512778d0,

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

author = "Zohar Manna and Doron Peled",

year = "2010",

language = "אנגלית",

isbn = "3642137539",

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

pages = "viii",

editor = "Zohar Manna and Peled, {Doron A.}",

booktitle = "Time for Verification - Essays in Memory of Amir Pnueli",

}

Manna, Z & Peled, D 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. in Z Manna & DA Peled (eds), Time for Verification - Essays in Memory of Amir Pnueli. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6200 LNCS, pp. viii.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. / Manna, Zohar; Peled, Doron.
Time for Verification - Essays in Memory of Amir Pnueli. ed. / Zohar Manna; Doron A. Peled. 2010. p. viii (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6200 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript

TY - CHAP

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

T2 - Preface

AU - Manna, Zohar

AU - Peled, Doron

PY - 2010

Y1 - 2010

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

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.foreword???

AN - SCOPUS:77955039131

SN - 3642137539

SN - 9783642137532

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

SP - viii

BT - Time for Verification - Essays in Memory of Amir Pnueli

A2 - Manna, Zohar

A2 - Peled, Doron A.

ER -

Manna Z, Peled D. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. In Manna Z, Peled DA, editors, Time for Verification - Essays in Memory of Amir Pnueli. 2010. p. viii. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

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

Publication series

Other files and links

Cite this