RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA

Giles Reger, Klaus Havelund, editors, RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA. Volume 3 of Kalpa Publications in Computing, EasyChair, 2017. [doi]

Conference: RV2017

@proceedings{rv-2017cubes,
  title = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA},
  year = {2017},
  url = {http://www.easychair.org/publications/volume/RV-CuBES_2017},
  researchr = {https://researchr.org/publication/rv-2017cubes},
  cites = {0},
  citedby = {0},
  booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA},
  conference = {RV},
  editor = {Giles Reger and Klaus Havelund},
  volume = {3},
  series = {Kalpa Publications in Computing},
  publisher = {EasyChair},
}