Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings. Falcone, Y. & Sánchez, C., editors Volume 10012of Lecture Notes in Computer ScienceSpringer. 2016. Paper doi bibtex @proceedings{DBLP:conf/rv/2016,
editor = {Yli{\`{e}}s Falcone and
C{\'{e}}sar S{\'{a}}nchez},
title = {Runtime Verification - 16th International Conference, {RV} 2016, Madrid,
Spain, September 23-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10012},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46982-9},
doi = {10.1007/978-3-319-46982-9},
isbn = {978-3-319-46981-2},
timestamp = {Wed, 17 May 2017 14:24:47 +0200},
biburl = {https://dblp.org/rec/bib/conf/rv/2016},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"mKEDyYteTSKJhhxW6","bibbaseid":"falcone-snchez-runtimeverification16thinternationalconferencerv2016madridspainseptember23302016proceedings-2016","downloads":0,"creationDate":"2019-03-31T12:02:10.140Z","title":"Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings","author_short":null,"year":2016,"bibtype":"proceedings","biburl":"https://dblp.org/pid/117/3450.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Yliès"],"propositions":[],"lastnames":["Falcone"],"suffixes":[]},{"firstnames":["César"],"propositions":[],"lastnames":["Sánchez"],"suffixes":[]}],"title":"Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings","series":"Lecture Notes in Computer Science","volume":"10012","publisher":"Springer","year":"2016","url":"https://doi.org/10.1007/978-3-319-46982-9","doi":"10.1007/978-3-319-46982-9","isbn":"978-3-319-46981-2","timestamp":"Wed, 17 May 2017 14:24:47 +0200","biburl":"https://dblp.org/rec/bib/conf/rv/2016","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/rv/2016,\n editor = {Yli{\\`{e}}s Falcone and\n C{\\'{e}}sar S{\\'{a}}nchez},\n title = {Runtime Verification - 16th International Conference, {RV} 2016, Madrid,\n Spain, September 23-30, 2016, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {10012},\n publisher = {Springer},\n year = {2016},\n url = {https://doi.org/10.1007/978-3-319-46982-9},\n doi = {10.1007/978-3-319-46982-9},\n isbn = {978-3-319-46981-2},\n timestamp = {Wed, 17 May 2017 14:24:47 +0200},\n biburl = {https://dblp.org/rec/bib/conf/rv/2016},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Falcone, Y.","Sánchez, C."],"key":"DBLP:conf/rv/2016","id":"DBLP:conf/rv/2016","bibbaseid":"falcone-snchez-runtimeverification16thinternationalconferencerv2016madridspainseptember23302016proceedings-2016","role":"editor","urls":{"Paper":"https://doi.org/10.1007/978-3-319-46982-9"},"downloads":0},"search_terms":["runtime","verification","16th","international","conference","2016","madrid","spain","september","2016","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["CXr5PRHZ4E5hcekwd"]}