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

Saddek Bensalem; Doron Peled

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

Saddek Bensalem
, Doron Peled

Department of Computer Science and Artificial Intelligence

Research output: Contribution to journal › Editorial

Original language	English
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5779 LNCS
State	Published - 2009
Event	9th International Workshop on Runtime Verification, RV 2009 - Grenoble, France Duration: 26 Jun 2009 → 28 Jun 2009

Cite this

@article{1bc7413e7271481cad115fbbc06758c2,

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

author = "Saddek Bensalem and Doron Peled",

year = "2009",

language = "אנגלית",

volume = "5779 LNCS",

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 Workshop on Runtime Verification, RV 2009 ; Conference date: 26-06-2009 Through 28-06-2009",

}

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. / Bensalem, Saddek; Peled, Doron.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5779 LNCS, 2009.

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 Workshop on Runtime Verification, RV 2009

AU - Bensalem, Saddek

AU - Peled, Doron

PY - 2009

Y1 - 2009

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

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

AN - SCOPUS:70549085132

SN - 0302-9743

VL - 5779 LNCS

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 - 26 June 2009 through 28 June 2009

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