霍尔格·吉斯;玛丽亚,马克西莫娃;卢卡斯·萨基兹洛格;斯文·施奈德 类型化属性图上的度量时态图逻辑。 (英语) Zbl 1524.68230号 Hähnle,Reiner(编辑)等人,《软件工程的基本方法》,第22届国际会议,FASE 2019,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2019,捷克共和国布拉格,2019年4月6日至11日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11424, 282-298 (2019).MSC公司:68兰特 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.Giese}等人,Lect。注释计算。科学。11424、282--298(2019年;Zbl 1524.68230) 全文: 内政部
阿尔诺卡斯提格茨;约瑟夫·彼得斯(Joseph G.Peters)。;Schoeters,杰森 时间派系承认稀少的扳手。 (英语) Zbl 1517.68281号 Baier,Christel(ed.)等人,第46届自动化、语言和编程国际学术讨论会,2019年ICALP 2019年7月9日至12日,希腊帕特拉斯。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。132,第134条,第14页(2019年)。MSC公司:68兰特 05C69号 PDF格式BibTeX公司 XML格式引用 \textit{A.Casteigts}等人,LIPIcs——莱布尼茨国际程序。通知。132,第134条,第14页(2019年;Zbl 1517.68281) 全文: 内政部
曹连英;张颖 时空自回归半参数时滞模型的岭估计。 (中文。英文摘要) Zbl 1449.62161号 J.西北标准。大学,自然科学。 55、6号、19-23(2019).MSC公司:2007年6月62日 2012年12月62日 62M10个 62立方米 PDF格式BibTeX公司 XML格式引用 \textit{L.Cao}和\textit{Y.Zhang},J.西北规范。大学,自然科学。55、第6、19-23号(2019年;Zbl 1449.62161) 全文: 内政部