清华大学计算机系量子软件研究中心
清华大学计算机系量子软件研究中心
新闻动态
团队成员
学术活动
论文发表
Syntactics
Bisimulations for probabilistic linear lambda calculi
Yuxin Deng
,
Yuan Feng
引用
DOI
Verify LTL with Fairness Assumptions Efficiently
Yong Li
,
Lei Song
,
Yuan Feng
,
Lijun Zhang
引用
DOI
引用
×