×

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

马尔可夫链中的概率原因。 (英语) Zbl 1497.68356号

Hou,Zhe(编辑)等,验证和分析自动化技术。2021年10月18日至22日,澳大利亚昆士兰州黄金海岸,第19届国际研讨会,ATVA 2021。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12971, 205-221 (2021).
PDF格式BibTeX公司 XML格式引用

通过抑制在运行时强制执行。 (英语) Zbl 1520.68069号

Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118,第34条,第17页(2018年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份

主字段