@proceedings{DBLP:conf/rv/2017,
  editor    = {Shuvendu K. Lahiri and
               Giles Reger},
  title     = {Runtime Verification - 17th International Conference, {RV} 2017, Seattle,
               WA, USA, September 13-16, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10548},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-67531-2},
  doi       = {10.1007/978-3-319-67531-2},
  isbn      = {978-3-319-67530-5},
  timestamp = {Wed, 06 Sep 2017 15:37:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"dYswx5Fb6quKo4De2","bibbaseid":"lahiri-reger-runtimeverification17thinternationalconferencerv2017seattlewausaseptember13162017proceedings-2017","downloads":0,"creationDate":"2018-12-15T20:25:17.452Z","title":"Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings","author_short":null,"year":2017,"bibtype":"proceedings","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Shuvendu","K."],"propositions":[],"lastnames":["Lahiri"],"suffixes":[]},{"firstnames":["Giles"],"propositions":[],"lastnames":["Reger"],"suffixes":[]}],"title":"Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings","series":"Lecture Notes in Computer Science","volume":"10548","publisher":"Springer","year":"2017","url":"https://doi.org/10.1007/978-3-319-67531-2","doi":"10.1007/978-3-319-67531-2","isbn":"978-3-319-67530-5","timestamp":"Wed, 06 Sep 2017 15:37:28 +0200","biburl":"https://dblp.org/rec/bib/conf/rv/2017","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/rv/2017,\n editor = {Shuvendu K. Lahiri and\n Giles Reger},\n title = {Runtime Verification - 17th International Conference, {RV} 2017, Seattle,\n WA, USA, September 13-16, 2017, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {10548},\n publisher = {Springer},\n year = {2017},\n url = {https://doi.org/10.1007/978-3-319-67531-2},\n doi = {10.1007/978-3-319-67531-2},\n isbn = {978-3-319-67530-5},\n timestamp = {Wed, 06 Sep 2017 15:37:28 +0200},\n biburl = {https://dblp.org/rec/bib/conf/rv/2017},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Lahiri, S. K.","Reger, G."],"key":"DBLP:conf/rv/2017","id":"DBLP:conf/rv/2017","bibbaseid":"lahiri-reger-runtimeverification17thinternationalconferencerv2017seattlewausaseptember13162017proceedings-2017","role":"editor","urls":{"Paper":"https://doi.org/10.1007/978-3-319-67531-2"},"downloads":0},"search_terms":["runtime","verification","17th","international","conference","2017","seattle","usa","september","2017","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["Efw79Fxo6HR8p6xBt"]}