DBLP Record 'journals/iee/LeeC00'

BibTeX

@article{DBLP:journals/iee/LeeC00,
  author    = {J.-S. Lee and
               S.-D. Cha},
  title     = {Qualitative formal method for requirements specification
               and validation of hybrid real-time safety systems},
  journal   = {IEE Proceedings - Software},
  volume    = {147},
  number    = {1},
  year      = {2000},
  pages     = {1-11},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}