BibTeX record conf/wcet/HammondFHDHJLMPSSW06

download as .bib file

@inproceedings{DBLP:conf/wcet/HammondFHDHJLMPSSW06,
  author       = {Kevin Hammond and
                  Christian Ferdinand and
                  Reinhold Heckmann and
                  Roy Dyckhoff and
                  Martin Hofmann and
                  Steffen Jost and
                  Hans{-}Wolfgang Loidl and
                  Greg Michaelson and
                  Robert F. Pointon and
                  Norman Scaife and
                  Jocelyn S{\'{e}}rot and
                  Andy Wallace},
  editor       = {Frank Mueller},
  title        = {Towards Formally Verifiable {WCET} Analysis for a Functional Programming
                  Language},
  booktitle    = {6th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
                  July 4, 2006, Dresden, Germany},
  series       = {OASIcs},
  volume       = {4},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2006},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2006/677},
  timestamp    = {Tue, 15 Feb 2022 09:40:04 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/HammondFHDHJLMPSSW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.