BibTeX record conf/seus/GuanGDGY07

• > Home > conf/seus/GuanGDGY07

@inproceedings{DBLP:conf/seus/GuanGDGY07,
  author       = {Nan Guan and
                  Zonghua Gu and
                  Qingxu Deng and
                  Shuaihong Gao and
                  Ge Yu},
  editor       = {Roman Obermaisser and
                  Yunmook Nah and
                  Peter P. Puschner and
                  Franz{-}Josef Rammig},
  title        = {Exact Schedulability Analysis for Static-Priority Global Multiprocessor
                  Scheduling Using Model-Checking},
  booktitle    = {Software Technologies for Embedded and Ubiquitous Systems, 5th {IFIP}
                  {WG} 10.2 International Workshop, {SEUS} 2007, Santorini Island, Greece,
                  May 2007. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4761},
  pages        = {263--272},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75664-4\_26},
  doi          = {10.1007/978-3-540-75664-4\_26},
  timestamp    = {Mon, 09 May 2022 13:22:16 +0200},
  biburl       = {https://dblp.org/rec/conf/seus/GuanGDGY07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}