BibTeX record conf/date/KunzliPBT06

download as .bib file

@inproceedings{DBLP:conf/date/KunzliPBT06,
  author       = {Simon K{\"{u}}nzli and
                  Francesco Poletti and
                  Luca Benini and
                  Lothar Thiele},
  editor       = {Georges G. E. Gielen},
  title        = {Combining simulation and formal methods for system-level performance
                  analysis},
  booktitle    = {Proceedings of the Conference on Design, Automation and Test in Europe,
                  {DATE} 2006, Munich, Germany, March 6-10, 2006},
  pages        = {236--241},
  publisher    = {European Design and Automation Association, Leuven, Belgium},
  year         = {2006},
  url          = {https://doi.org/10.1109/DATE.2006.244109},
  doi          = {10.1109/DATE.2006.244109},
  timestamp    = {Fri, 24 Mar 2023 00:02:45 +0100},
  biburl       = {https://dblp.org/rec/conf/date/KunzliPBT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics