BibTeX record conf/codes/OliveiraKLGH0DEE12

download as .bib file

@inproceedings{DBLP:conf/codes/OliveiraKLGH0DEE12,
  author       = {Marcio F. da S. Oliveira and
                  Christoph Kuznik and
                  Hoang Minh Le and
                  Daniel Gro{\ss}e and
                  Finn Haedicke and
                  Wolfgang M{\"{u}}ller and
                  Rolf Drechsler and
                  Wolfgang Ecker and
                  Volkan Esen},
  editor       = {Ahmed Jerraya and
                  Luca P. Carloni and
                  Naehyuck Chang and
                  Franco Fummi},
  title        = {The system verification methodology for advanced {TLM} verification},
  booktitle    = {Proceedings of the 10th International Conference on Hardware/Software
                  Codesign and System Synthesis, {CODES+ISSS} 2012, part of ESWeek '12
                  Eighth Embedded Systems Week, Tampere, Finland, October 7-12, 2012},
  pages        = {313--322},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2380445.2380497},
  doi          = {10.1145/2380445.2380497},
  timestamp    = {Sun, 02 Jun 2019 21:28:13 +0200},
  biburl       = {https://dblp.org/rec/conf/codes/OliveiraKLGH0DEE12.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.