Cited By
View all- Luo LZhu M(2003)Partitioning based operating systemACM SIGOPS Operating Systems Review10.1145/881783.88178737:3(23-35)Online publication date: 1-Jul-2003
- Zhu M(2001)Formal specifications of debuggersACM SIGPLAN Notices10.1145/609769.60977836:9(54-63)Online publication date: 1-Sep-2001