Runtime verification: 5th international conference, RV 2014 Toronto, ON, Canada, September 22-25, 2014 proceedings

Borzoo Bonakdarpour; Scott A. Smolka

Runtime verification: 5th international conference, RV 2014 Toronto, ON, Canada, September 22-25, 2014 proceedings

Borzoo Bonakdarpour
, Scott A. Smolka

Computer Science

McMaster University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Runtime Verification - 5th International Conference, RV 2014, Proceedings
Editors	Borzoo Bonakdarpour, Scott A. Smolka
Publisher	Springer Verlag
ISBN (Print)	9783319111636
State	Published - 2014
Event	5th International Conference on Runtime Verification, RV 2014 - Toronto, Canada Duration: Sep 22 2014 → Sep 25 2014

Publication series

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

Conference

Conference	5th International Conference on Runtime Verification, RV 2014
Country/Territory	Canada
City	Toronto
Period	09/22/14 → 09/25/14

Cite this

Bonakdarpour, B., & Smolka, S. A. (2014). Runtime verification: 5th international conference, RV 2014 Toronto, ON, Canada, September 22-25, 2014 proceedings. In B. Bonakdarpour, & S. A. Smolka (Eds.), Runtime Verification - 5th International Conference, RV 2014, Proceedings (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8734 LNCS). Springer Verlag.

Bonakdarpour, Borzoo ; Smolka, Scott A. / Runtime verification : 5th international conference, RV 2014 Toronto, ON, Canada, September 22-25, 2014 proceedings. Runtime Verification - 5th International Conference, RV 2014, Proceedings. editor / Borzoo Bonakdarpour ; Scott A. Smolka. Springer Verlag, 2014. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{4a5149382bd14ec6bd4978d53e4c3e7f,

title = "Runtime verification: 5th international conference, RV 2014 Toronto, ON, Canada, September 22-25, 2014 proceedings",

author = "Borzoo Bonakdarpour and Smolka, \{Scott A.\}",

year = "2014",

language = "English",

isbn = "9783319111636",

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

publisher = "Springer Verlag",

editor = "Borzoo Bonakdarpour and Smolka, \{Scott A.\}",

booktitle = "Runtime Verification - 5th International Conference, RV 2014, Proceedings",

note = "5th International Conference on Runtime Verification, RV 2014 ; Conference date: 22-09-2014 Through 25-09-2014",

}

Bonakdarpour, B & Smolka, SA 2014, Runtime verification: 5th international conference, RV 2014 Toronto, ON, Canada, September 22-25, 2014 proceedings. in B Bonakdarpour & SA Smolka (eds), Runtime Verification - 5th International Conference, RV 2014, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8734 LNCS, Springer Verlag, 5th International Conference on Runtime Verification, RV 2014, Toronto, Canada, 09/22/14.

Runtime verification: 5th international conference, RV 2014 Toronto, ON, Canada, September 22-25, 2014 proceedings. / Bonakdarpour, Borzoo; Smolka, Scott A.
Runtime Verification - 5th International Conference, RV 2014, Proceedings. ed. / Borzoo Bonakdarpour; Scott A. Smolka. Springer Verlag, 2014. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8734 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Runtime verification

T2 - 5th International Conference on Runtime Verification, RV 2014

AU - Bonakdarpour, Borzoo

AU - Smolka, Scott A.

PY - 2014

Y1 - 2014

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

M3 - Conference contribution

AN - SCOPUS:85030481053

SN - 9783319111636

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

BT - Runtime Verification - 5th International Conference, RV 2014, Proceedings

A2 - Bonakdarpour, Borzoo

A2 - Smolka, Scott A.

PB - Springer Verlag

Y2 - 22 September 2014 through 25 September 2014

ER -

Bonakdarpour B, Smolka SA. Runtime verification: 5th international conference, RV 2014 Toronto, ON, Canada, September 22-25, 2014 proceedings. In Bonakdarpour B, Smolka SA, editors, Runtime Verification - 5th International Conference, RV 2014, Proceedings. Springer Verlag. 2014. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Runtime verification: 5th international conference, RV 2014 Toronto, ON, Canada, September 22-25, 2014 proceedings

Publication series

Conference

Other files and links

Fingerprint

Cite this