BibTeX record journals/dafes/BarretoMTFOL08

download as .bib file

@article{DBLP:journals/dafes/BarretoMTFOL08,
  author    = {Raimundo S. Barreto and
               Paulo Romero Martins Maciel and
               Eduardo Tavares and
               Romulo Devezas Freitas and
               Meuse N. Oliveira Jr. and
               Ricardo Massa Ferreira Lima},
  title     = {A time Petri net-based method for embedded hard real-time software
               synthesis},
  journal   = {Design Autom. for Emb. Sys.},
  volume    = {12},
  number    = {1-2},
  pages     = {31--62},
  year      = {2008},
  url       = {https://doi.org/10.1007/s10617-007-9011-x},
  doi       = {10.1007/s10617-007-9011-x},
  timestamp = {Fri, 30 Nov 2018 13:28:06 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/dafes/BarretoMTFOL08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier