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}, }