BibTeX record conf/rtcsa/HsiungL05

download as .bib file

@inproceedings{DBLP:conf/rtcsa/HsiungL05,
  author       = {Pao{-}Ann Hsiung and
                  Shang{-}Wei Lin},
  title        = {Model Checking Timed Systems with Priorities},
  booktitle    = {11th {IEEE} International Conference on Embedded and Real-Time Computing
                  Systems and Applications {(RTCSA} 2005), 17-19 August 2005, Hong Kong,
                  China},
  pages        = {539--544},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/RTCSA.2005.60},
  doi          = {10.1109/RTCSA.2005.60},
  timestamp    = {Thu, 23 Mar 2023 23:57:48 +0100},
  biburl       = {https://dblp.org/rec/conf/rtcsa/HsiungL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics