| |
| 2001 | ||
|---|---|---|
| 2 | Ming-Yuan Zhu, Lei Luo, Guang-Zhe Xiong: A Provably Correct Operating System: delta-Core. Operating Systems Review 35(1): 17-33 (2001) | |
| 1 | Ming-Yuan Zhu, Lei Luo, Guang-Zhe Xiong: The Minimal Model of Operating Systems. Operating Systems Review 35(3): 22-29 (2001) | |
| 1 | Lei Luo | [1] [2] |
| 2 | Ming-Yuan Zhu | [1] [2] |