BibTeX record conf/lctrts/Metta0BCV16

• > Home > conf/lctrts/Metta0BCV16

@inproceedings{DBLP:conf/lctrts/Metta0BCV16,
  author       = {Ravindra Metta and
                  Martin Becker and
                  Prasad Bokil and
                  Samarjit Chakraborty and
                  R. Venkatesh},
  editor       = {Tei{-}Wei Kuo and
                  David B. Whalley},
  title        = {{TIC:} a scalable model checking based approach to {WCET} estimation},
  booktitle    = {Proceedings of the 17th {ACM} {SIGPLAN/SIGBED} Conference on Languages,
                  Compilers, Tools, and Theory for Embedded Systems, {LCTES} 2016, Santa
                  Barbara, CA, USA, June 13 - 14, 2016},
  pages        = {72--81},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2907950.2907961},
  doi          = {10.1145/2907950.2907961},
  timestamp    = {Wed, 23 Jun 2021 15:34:31 +0200},
  biburl       = {https://dblp.org/rec/conf/lctrts/Metta0BCV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}