@inproceedings{DBLP:conf/emsoft/BenvenisteCCS05,
  author    = {Albert Benveniste and
               Beno\^{\i}t Caillaud and
               Luca P. Carloni and
               Alberto L. Sangiovanni-Vincentelli},
  title     = {Tag machines},
  booktitle = {EMSOFT},
  year      = {2005},
  pages     = {255-263},
  ee        = {http://doi.acm.org/10.1145/1086228.1086276},
  crossref  = {DBLP:conf/emsoft/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/emsoft/2005,
  editor    = {Wayne Wolf},
  title     = {EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA,
               5th ACM International Conference On Embedded Software, Proceedings},
  booktitle = {EMSOFT},
  publisher = {ACM},
  year      = {2005},
  isbn      = {1-59593-091-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}