Preface

Howard Barringer; Ylies Falcone; Bernd Finkbeiner; Klaus Havelund; Insup Lee; Gordon Pace; Grigore Roşu; Oleg Sokolsky; Nikolai Tillmann

Preface

Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann

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

Original language	English (US)
Pages (from-to)	V-VI
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	6418 LNCS
State	Published - 2010
Event	1st International Conference on Runtime Verification, RV 2010 - St. Julians, Malta Duration: Nov 1 2010 → Nov 4 2010

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Library availability

Discover UIUC Full Text

Cite this

@article{4318e5360f2448fd851753a809f60507,

title = "Preface",

author = "Howard Barringer and Ylies Falcone and Bernd Finkbeiner and Klaus Havelund and Insup Lee and Gordon Pace and Grigore Ro{\c s}u and Oleg Sokolsky and Nikolai Tillmann",

year = "2010",

language = "English (US)",

volume = "6418 LNCS",

pages = "V--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 = "1st International Conference on Runtime Verification, RV 2010 ; Conference date: 01-11-2010 Through 04-11-2010",

}

TY - JOUR

T1 - Preface

AU - Barringer, Howard

AU - Falcone, Ylies

AU - Finkbeiner, Bernd

AU - Havelund, Klaus

AU - Lee, Insup

AU - Pace, Gordon

AU - Roşu, Grigore

AU - Sokolsky, Oleg

AU - Tillmann, Nikolai

PY - 2010

Y1 - 2010

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

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

M3 - Editorial

AN - SCOPUS:85015327600

SN - 0302-9743

VL - 6418 LNCS

SP - V-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)

T2 - 1st International Conference on Runtime Verification, RV 2010

Y2 - 1 November 2010 through 4 November 2010

ER -

Preface

ASJC Scopus subject areas

Library availability

Related links

Cite this