×

找到72个文档(结果1-72)

具有非多项式赋值的概率循环的基于矩的不变量。 (英语) 兹比尔1522.68133

布拉哈姆,埃里卡(编辑)等人,《系统的定量评估》。第19届国际会议,QEST 2022,波兰华沙,2022年9月12-16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13479, 3-25 (2022).
MSC公司:68甲19
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

全部的 前3名

主字段