| |
| 2007 | ||
|---|---|---|
| 1 | EE | Nan Guan, Zonghua Gu, Qingxu Deng, Shuaihong Gao, Ge Yu: Exact Schedulability Analysis for Static-Priority Global Multiprocessor Scheduling Using Model-Checking. SEUS 2007: 263-272 |
| 1 | Qingxu Deng | [1] |
| 2 | Zonghua Gu | [1] |
| 3 | Nan Guan | [1] |
| 4 | Ge Yu | [1] |