BibTeX record conf/dagstuhl/HaverkortKT07

download as .bib file

@inproceedings{DBLP:conf/dagstuhl/HaverkortKT07,
  author       = {Boudewijn R. Haverkort and
                  Joost{-}Pieter Katoen and
                  Lothar Thiele},
  editor       = {Boudewijn R. Haverkort and
                  Joost{-}Pieter Katoen and
                  Lothar Thiele},
  title        = {07101 Executive Summary -- Quantitative Aspects of Embedded Systems},
  booktitle    = {Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {07101},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2007},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/1137},
  timestamp    = {Thu, 10 Jun 2021 13:02:08 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/HaverkortKT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics