-
齐大伟
-
![](/images/user-pic.gif)
-
![](/images/index-lm-pic2.jpg)
- 所属机构:清华大学信息科学技术学院计算机科学与技术系
- 所在地区:北京市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 林明
![](/images/user-pic.gif)
- 作品数:2被引量:0H指数:0
- 供职机构:清华大学信息科学技术学院计算机科学与技术系
- 研究主题:元对象协议 有色 银行家算法 PETRI网
- 董渊
![](/images/user-pic.gif)
- 作品数:95被引量:289H指数:9
- 供职机构:清华大学
- 研究主题:字节码 软件工程 编译器 形式化验证 操作系统
- 王生原
![](/images/user-pic.gif)
- 作品数:72被引量:197H指数:7
- 供职机构:清华大学信息科学技术学院计算机科学与技术系
- 研究主题:编译器 形式化验证 字节码 PETRI网 COQ
- 郭胜基
![](/images/user-pic.gif)
- 作品数:2被引量:0H指数:0
- 供职机构:清华大学信息科学技术学院计算机科学与技术系
- 研究主题:元对象协议 有色 银行家算法 PETRI网