BibTeX record journals/jss/HsiungLCHSC09

• > Home > journals/jss/HsiungLCHSC09

@article{DBLP:journals/jss/HsiungLCHSC09,
  author       = {Pao{-}Ann Hsiung and
                  Shang{-}Wei Lin and
                  Yean{-}Ru Chen and
                  Chun{-}Hsian Huang and
                  Chihhsiong Shih and
                  William C. Chu},
  title        = {Modeling and verification of real-time embedded systems with urgency},
  journal      = {J. Syst. Softw.},
  volume       = {82},
  number       = {10},
  pages        = {1627--1641},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.jss.2009.03.013},
  doi          = {10.1016/J.JSS.2009.03.013},
  timestamp    = {Thu, 18 Jun 2020 11:33:02 +0200},
  biburl       = {https://dblp.org/rec/journals/jss/HsiungLCHSC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}