Journal of Logic and Computation. 2005;15(2):159-179. doi: 10.1093/logcom/exi008 Q40.72025

Probabilistic  -calculus and Quantitative Program Analysis

概率演算与定量程序分析

DOI: 10.1093/logcom/exi008

摘要 查看摘要

Copyright © Journal of Logic and Computation. 中文内容为AI机器翻译，仅供参考！