BibTeX record conf/wcet/ErmedahlSGBL07

• > Home > conf/wcet/ErmedahlSGBL07

@inproceedings{DBLP:conf/wcet/ErmedahlSGBL07,
  author       = {Andreas Ermedahl and
                  Christer Sandberg and
                  Jan Gustafsson and
                  Stefan Bygde and
                  Bj{\"{o}}rn Lisper},
  editor       = {Christine Rochange},
  title        = {Loop Bound Analysis based on a Combination of Program Slicing, Abstract
                  Interpretation, and Invariant Analysis},
  booktitle    = {7th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
                  Pisa, Italy, July 3, 2007},
  series       = {OASIcs},
  volume       = {6},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2007},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/1194},
  timestamp    = {Tue, 15 Feb 2022 09:40:04 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/ErmedahlSGBL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}