TavaresMBBBJL05'

@inproceedings{DBLP:conf/sbcci/TavaresMBBBJL05,
  author    = {Eduardo Tavares and
               Paulo Romero Martins Maciel and
               Arthur Bessa and
               Raimundo S. Barreto and
               Leonardo Barros and
               Meuse N. Oliveira Jr. and
               Ricardo Massa Ferreira Lima},
  title     = {A time petri net based approach for embedded hard real-time
               software synthesis with multiple operational modes},
  booktitle = {SBCCI},
  year      = {2005},
  pages     = {98-103},
  ee        = {http://doi.acm.org/10.1145/1081081.1081110},
  crossref  = {DBLP:conf/sbcci/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sbcci/2005,
  editor    = {Carlos Galup-Montoro and
               Sergio Bampi and
               Alex Orailoglu},
  title     = {Proceedings of the 18th Annual Symposium on Integrated Circuits
               and Systems Design, SBCCI 2005, Florianolpolis, Brazil,
               September 4-7, 2005},
  booktitle = {SBCCI},
  publisher = {ACM},
  year      = {2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}