×

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

马尔可夫自动机中基于非激励的行为关系。 (英语) Zbl 1515.68168号

Jansen,David N.(编辑)等人,《时间系统的形式化建模和分析》。2018年9月4日至6日,第16届国际会议,FORMATS 2018,中国北京。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11022, 179-196 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

主字段