-
柳欣欣
-
-
- 所属机构:中国科学院软件研究所
- 所在地区:北京市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 林惠民
- 作品数：29被引量：352H指数：6
- 供职机构：中国科学院
- 研究主题：互模拟 传值进程 计算机 进程代数 Π-演算
- 李小燕
- 作品数：1被引量：0H指数：0
- 供职机构：中国科学院研究生院
- 研究主题：MODEL FISHER CANONICAL 闭包 可满足性
- 陈海明
- 作品数：22被引量：32H指数：4
- 供职机构：中国科学院软件研究所
- 研究主题：递归函数 上下文无关语言 形式规约语言 正则表达式 句子生成
- 李广元
- 作品数：11被引量：55H指数：5
- 供职机构：中国科学院软件研究所
- 研究主题：实时系统 时序逻辑 线性时序逻辑 时间自动机 合约
- 喻钢
- 作品数：1被引量：0H指数：0
- 供职机构：中国科学院研究生院
- 研究主题：CPS CONTINUATION S变换 归约 形式语义
