郭胜基
作品数: 2被引量:0H指数:0
  • 所属机构:清华大学信息科学技术学院计算机科学与技术系
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

齐大伟
作品数:2被引量:0H指数:0
供职机构:清华大学信息科学技术学院计算机科学与技术系
研究主题:元对象协议 有色 银行家算法 PETRI网
林明
作品数:2被引量:0H指数:0
供职机构:清华大学信息科学技术学院计算机科学与技术系
研究主题:元对象协议 有色 银行家算法 PETRI网
王生原
作品数:72被引量:198H指数:7
供职机构:清华大学信息科学技术学院计算机科学与技术系
研究主题:编译器 形式化验证 字节码 PETRI网 COQ
董渊
作品数:95被引量:289H指数:9
供职机构:清华大学
研究主题:字节码 软件工程 编译器 形式化验证 操作系统