@proceedings{DBLP:conf/rv/2015,
  editor    = {Ezio Bartocci and
               Rupak Majumdar},
  title     = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
               Austria, September 22-25, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9333},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-23820-3},
  doi       = {10.1007/978-3-319-23820-3},
  isbn      = {978-3-319-23819-7},
  timestamp = {Mon, 05 Jun 2017 12:42:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"2JqNNW3BworoJsxKc","bibbaseid":"bartocci-majumdar-runtimeverification6thinternationalconferencerv2015viennaaustriaseptember22252015proceedings-2015","downloads":0,"creationDate":"2019-03-14T12:11:49.517Z","title":"Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings","author_short":null,"year":2015,"bibtype":"proceedings","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Ezio"],"propositions":[],"lastnames":["Bartocci"],"suffixes":[]},{"firstnames":["Rupak"],"propositions":[],"lastnames":["Majumdar"],"suffixes":[]}],"title":"Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings","series":"Lecture Notes in Computer Science","volume":"9333","publisher":"Springer","year":"2015","url":"https://doi.org/10.1007/978-3-319-23820-3","doi":"10.1007/978-3-319-23820-3","isbn":"978-3-319-23819-7","timestamp":"Mon, 05 Jun 2017 12:42:13 +0200","biburl":"https://dblp.org/rec/bib/conf/rv/2015","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/rv/2015,\n editor = {Ezio Bartocci and\n Rupak Majumdar},\n title = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,\n Austria, September 22-25, 2015. Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {9333},\n publisher = {Springer},\n year = {2015},\n url = {https://doi.org/10.1007/978-3-319-23820-3},\n doi = {10.1007/978-3-319-23820-3},\n isbn = {978-3-319-23819-7},\n timestamp = {Mon, 05 Jun 2017 12:42:13 +0200},\n biburl = {https://dblp.org/rec/bib/conf/rv/2015},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Bartocci, E.","Majumdar, R."],"key":"DBLP:conf/rv/2015","id":"DBLP:conf/rv/2015","bibbaseid":"bartocci-majumdar-runtimeverification6thinternationalconferencerv2015viennaaustriaseptember22252015proceedings-2015","role":"editor","urls":{"Paper":"https://doi.org/10.1007/978-3-319-23820-3"},"downloads":0},"search_terms":["runtime","verification","6th","international","conference","2015","vienna","austria","september","2015","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["Efw79Fxo6HR8p6xBt"]}