Dipartimento di Informatica, Universita di Verona, Italy;
机译:“关于EMPA的教程:具有不确定性,优先级,概率和时间的并发过程的理论”的勘误[Theoret。计算科学202(1998)1-54]
机译:EMPA教程:具有不确定性,优先级,概率和时间的并发过程理论[评论]
机译:一般的代数效应,特别是概率和不确定性相结合的基本运算前置项
机译:并发运算模型中的概率和不确定
机译:在德克萨斯州南部社区学生的非概率样本中,对德克萨斯州高等教育评估(THEA)和计算机自适应安置评估与支持系统(COMPASS)进行并发验证。
机译:化疗方案对接受前瞻性III期临床试验,接受强度调节放疗并发化疗的直肠癌患者急性血液毒性的正常组织并发症概率模型的影响
机译:并发操作模型中的概率与非确定性
机译:支持非确定性和同步的语言的操作和指示模型。