BibTeX record conf/lctrts/ChaudharyFT14

download as .bib file

@inproceedings{DBLP:conf/lctrts/ChaudharyFT14,
  author       = {Sandeep Chaudhary and
                  Sebastian Fischmeister and
                  Lin Tan},
  editor       = {Youtao Zhang and
                  Prasad Kulkarni},
  title        = {em-SPADE: a compiler extension for checking rules extracted from processor
                  specifications},
  booktitle    = {{SIGPLAN/SIGBED} Conference on Languages, Compilers and Tools for
                  Embedded Systems 2014, {LCTES} '14, Edinburgh, United Kingdom - June
                  12 - 13, 2014},
  pages        = {105--114},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2597809.2597823},
  doi          = {10.1145/2597809.2597823},
  timestamp    = {Sat, 21 Oct 2023 10:46:22 +0200},
  biburl       = {https://dblp.org/rec/conf/lctrts/ChaudharyFT14.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.