{"_id":"nHMyXZerbHTWYGsPj","bibbaseid":"reger-havelund-rvcubes2017aninternationalworkshoponcompetitionsusabilitybenchmarksevaluationandstandardisationforruntimeverificationtoolsseptember152017seattlewausa-2017","downloads":0,"creationDate":"2019-03-14T12:11:49.508Z","title":"RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA","author_short":null,"year":2017,"bibtype":"proceedings","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Giles"],"propositions":[],"lastnames":["Reger"],"suffixes":[]},{"firstnames":["Klaus"],"propositions":[],"lastnames":["Havelund"],"suffixes":[]}],"title":"RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA","series":"Kalpa Publications in Computing","volume":"3","publisher":"EasyChair","year":"2017","url":"http://www.easychair.org/publications/volume/RV-CuBES_2017","timestamp":"Tue, 16 Jan 2018 18:09:01 +0100","biburl":"https://dblp.org/rec/bib/conf/rv/2017cubes","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/rv/2017cubes,\n editor = {Giles Reger and\n Klaus Havelund},\n title = {RV-CuBES 2017. An International Workshop on Competitions, Usability,\n Benchmarks, Evaluation, and Standardisation for Runtime Verification\n Tools, September 15, 2017, Seattle, WA, {USA}},\n series = {Kalpa Publications in Computing},\n volume = {3},\n publisher = {EasyChair},\n year = {2017},\n url = {http://www.easychair.org/publications/volume/RV-CuBES\\_2017},\n timestamp = {Tue, 16 Jan 2018 18:09:01 +0100},\n biburl = {https://dblp.org/rec/bib/conf/rv/2017cubes},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Reger, G.","Havelund, K."],"key":"DBLP:conf/rv/2017cubes","id":"DBLP:conf/rv/2017cubes","bibbaseid":"reger-havelund-rvcubes2017aninternationalworkshoponcompetitionsusabilitybenchmarksevaluationandstandardisationforruntimeverificationtoolsseptember152017seattlewausa-2017","role":"editor","urls":{"Paper":"http://www.easychair.org/publications/volume/RV-CuBES_2017"},"downloads":0},"search_terms":["cubes","2017","international","workshop","competitions","usability","benchmarks","evaluation","standardisation","runtime","verification","tools","september","2017","seattle","usa"],"keywords":[],"authorIDs":[],"dataSources":["Efw79Fxo6HR8p6xBt"]}