@proceedings{DBLP:conf/tacas/2015,
  editor    = {Christel Baier and
               Cesare Tinelli},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 21st International Conference, {TACAS} 2015, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2015, London, UK, April 11-18, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9035},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46681-0},
  doi       = {10.1007/978-3-662-46681-0},
  isbn      = {978-3-662-46680-3},
  timestamp = {Thu, 15 Jun 2017 21:37:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"24HGTwEPKLJi7R8mP","bibbaseid":"baier-tinelli-toolsandalgorithmsfortheconstructionandanalysisofsystems21stinternationalconferencetacas2015heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2015londonukapril11182015proceedings-2015","downloads":0,"creationDate":"2017-02-19T18:08:59.421Z","title":"Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings","author_short":null,"year":2015,"bibtype":"proceedings","biburl":"https://dblp.org/pid/07/3797.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Christel"],"propositions":[],"lastnames":["Baier"],"suffixes":[]},{"firstnames":["Cesare"],"propositions":[],"lastnames":["Tinelli"],"suffixes":[]}],"title":"Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings","series":"Lecture Notes in Computer Science","volume":"9035","publisher":"Springer","year":"2015","url":"https://doi.org/10.1007/978-3-662-46681-0","doi":"10.1007/978-3-662-46681-0","isbn":"978-3-662-46680-3","timestamp":"Thu, 15 Jun 2017 21:37:10 +0200","biburl":"https://dblp.org/rec/bib/conf/tacas/2015","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/tacas/2015,\n editor = {Christel Baier and\n Cesare Tinelli},\n title = {Tools and Algorithms for the Construction and Analysis of Systems\n - 21st International Conference, {TACAS} 2015, Held as Part of the\n European Joint Conferences on Theory and Practice of Software, {ETAPS}\n 2015, London, UK, April 11-18, 2015. Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {9035},\n publisher = {Springer},\n year = {2015},\n url = {https://doi.org/10.1007/978-3-662-46681-0},\n doi = {10.1007/978-3-662-46681-0},\n isbn = {978-3-662-46680-3},\n timestamp = {Thu, 15 Jun 2017 21:37:10 +0200},\n biburl = {https://dblp.org/rec/bib/conf/tacas/2015},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Baier, C.","Tinelli, C."],"key":"DBLP:conf/tacas/2015","id":"DBLP:conf/tacas/2015","bibbaseid":"baier-tinelli-toolsandalgorithmsfortheconstructionandanalysisofsystems21stinternationalconferencetacas2015heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2015londonukapril11182015proceedings-2015","role":"editor","urls":{"Paper":"https://doi.org/10.1007/978-3-662-46681-0"},"downloads":0},"search_terms":["tools","algorithms","construction","analysis","systems","21st","international","conference","tacas","2015","held","part","european","joint","conferences","theory","practice","software","etaps","2015","london","april","2015","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["64vhzPQouTD2xtS3j"]}