Second International Competition on Runtime Verification CRV 2015

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation

Original language	English
Title of host publication	Runtime Verification 2015
Pages	405-422
Number of pages	18
Publication status	Published - 2015
Event	Runtime Verification - 6th International Conference, RV 205 - Duration: 22 Sept 2015 → 25 Sept 2015

Conference	Runtime Verification - 6th International Conference, RV 205
Period	22/09/15 → 25/09/15

Research Field

@inproceedings{551f7d7bb212436c84a64a038860f613,

title = "Second International Competition on Runtime Verification CRV 2015",

author = "Dejan Nickovic and Ylies Falcone and Giles Reger and Daniel Thoma",

year = "2015",

language = "English",

isbn = "978-3-319-23819-7",

pages = "405--422",

booktitle = "Runtime Verification 2015",

note = "Runtime Verification - 6th International Conference, RV 205 ; Conference date: 22-09-2015 Through 25-09-2015",

}

TY - GEN

T1 - Second International Competition on Runtime Verification CRV 2015

A2 - Nickovic, Dejan

A2 - Falcone, Ylies

A2 - Reger, Giles

A2 - Thoma, Daniel

PY - 2015

Y1 - 2015

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-319-23819-7

SP - 405

EP - 422

BT - Runtime Verification 2015

T2 - Runtime Verification - 6th International Conference, RV 205

Y2 - 22 September 2015 through 25 September 2015

ER -