Guang-Zhe Xiong

	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)

Coauthor Index

1	Lei Luo	[1] [2]
2	Ming-Yuan Zhu	[1] [2]