DBLP Record 'journals/rita/AmaralH00'

BibTeX

@article{DBLP:journals/rita/AmaralH00,
  author    = {Fernando N{\'a}ufel do Amaral and
               Edward Hermann Haeusler},
  title     = {A logic-based approach for real-time object-oriented software
               development},
  journal   = {RITA},
  volume    = {7},
  number    = {1},
  year      = {2000},
  pages     = {69-88},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}