计算机工程与科学2008，Vol.30Issue(11)：83-85,3.
并发系统概率空间的形式化构造方法
Formal Construction of Probability Space on Concurrent Systems
摘要
关键词
概率空间/Isabelie/HOL/Isar/定理证明分类
信息技术与安全科学引用本文复制引用
王金双,张兴元,杨华兵,张毓森..并发系统概率空间的形式化构造方法[J].计算机工程与科学,2008,30(11):83-85,3.基金项目
国家自然科学基金资助项目(60373068) （60373068）
