JahanianM86'

BibTeX

@article{DBLP:journals/tse/JahanianM86,
  author    = {Farnam Jahanian and
               Aloysius K. Mok},
  title     = {Safety Analysis of Timing Properties in Real-Time Systems},
  journal   = {IEEE Trans. Software Eng.},
  volume    = {12},
  number    = {9},
  year      = {1986},
  pages     = {890-904},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}