诺里希罗·卡米德 可决定的时间和顺序相关逻辑。 (英语) Zbl 1444.03081号 J.日志。计算。 28,第2期,403-432(2018).MSC公司:03B47号 03B44号 03财年03 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},J.Log。计算。28,第2号,403--432(2018;Zbl 1444.03081) 全文: 内政部
Arpit Sharma公司 马尔可夫自动机中基于非激励的行为关系。 (英语) Zbl 1515.68168号 Jansen,David N.(编辑)等人,《时间系统的形式化建模和分析》。2018年9月4日至6日,第16届国际会议,FORMATS 2018,中国北京。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11022, 179-196 (2018).MSC公司:第68季度第45季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Sharma},莱克特。注释计算。科学。11022、179--196(2018年;Zbl 1515.68168) 全文: 内政部