BibTeX record conf/esop/CernyHKRZ15

download as .bib file

@inproceedings{DBLP:conf/esop/CernyHKRZ15,
  author    = {Pavol Cern{\'{y}} and
               Thomas A. Henzinger and
               Laura Kov{\'{a}}cs and
               Arjun Radhakrishna and
               Jakob Zwirchmayr},
  title     = {Segment Abstraction for Worst-Case Execution Time Analysis},
  booktitle = {Programming Languages and Systems - 24th European Symposium on Programming,
               {ESOP} 2015, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
               Proceedings},
  pages     = {105--131},
  year      = {2015},
  crossref  = {DBLP:conf/esop/2015},
  url       = {https://doi.org/10.1007/978-3-662-46669-8\_5},
  doi       = {10.1007/978-3-662-46669-8\_5},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/CernyHKRZ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2015,
  editor    = {Jan Vitek},
  title     = {Programming Languages and Systems - 24th European Symposium on Programming,
               {ESOP} 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    = {9032},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46669-8},
  doi       = {10.1007/978-3-662-46669-8},
  isbn      = {978-3-662-46668-1},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Schloss Dagstuhl LZI