肯尼思·麦克米兰。;奥德·帕顿 用常春藤对可判定片段进行演绎验证。 （英语） Zbl 1511.68165号 安德烈亚斯·波德尔斯基（编辑），《静态分析》。2018年8月29日至31日在德国弗莱堡举行的2018年SAS第25届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11002, 43-55 (2018).MSC公司：60年第68季度 03B70号 64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.L.McMillan}和\textit{O.Padon}，莱克特。注释计算。科学。11002，43-55（2018；Zbl 1511.68165） 全文： 内政部
丹尼尔·施梅尔;朱利安·勃宁;奥斯卡·索里亚·达斯特曼;诺尔，托马斯;克劳斯·韦尔 真实世界软件的符号活性分析。 （英语） Zbl 1511.68089号 Chockler，Hana（编辑）等人，《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第二部分。查姆：斯普林格公开赛。莱克特。注释计算。科学。10982, 447-466 (2018).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Schemmel}等人，Lect。注释计算。科学。10982、447--466（2018年；Zbl 1511.68089） 全文： 内政部
穆罕默德·巴希尔;李志武;穆拉特·乌扎姆;吴乃琪;阿卜杜拉赫曼·阿赫马里 柔性制造系统活性增强Petri网监管器的结构约简：代数方法。 （英语） Zbl 1418.90101号 IMA数学杂志。控制信息。 35，第4期，1217-1249（2018）.MSC公司：90立方厘米 90B25型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bashir}等人，IMA J.数学。控制信息35，编号4，1217--1249（2018；Zbl 1418.90101） 全文： 内政部 链接
张秀燕;穆拉特·乌扎姆;李志武;吴乃琪 关于使用全球闲置位置的柔性制造系统的活力增强监督员综合。 （英语） Zbl 1402.93120号 IMA数学杂志。控制信息。 35，第1期，165-182（2018）.MSC公司：93亿B50 93元65角 93立方35 03C90号 90B35型 68问题85 93-04 PDF格式BibTeX公司 XML格式引用 \textit{X.Zhang}等人，IMA J.数学。控制信息35，No.1，165--182（2018；Zbl 1402.93120） 全文： 内政部
阿格洛斯·凯亚斯;安娜贝尔·库尔德马;Helger Lipmaa公司;雅诺·西姆;托马斯·扎卡里亚斯 关于电子投票公告板的安全属性。 （英语） Zbl 1515.91067号 Catalano，Dario（编辑）等人，《网络安全与加密》。第11届国际会议，2018年SCN，意大利阿马尔菲，2018年9月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11035, 505-523 (2018).MSC公司：91B12号机组 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kiayias}等人，Lect。注释计算。科学。11035、505--523（2018；Zbl 1515.91067） 全文： 内政部 链接
托马斯·胡贾萨;雷蒙德·魔鬼队 加权Petri网子类的死锁性、活性和可逆性。 （英语） 兹比尔1400.68135 芬丹。通知。 161，第4期，383-421（2018）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Hujsa}和\textit{R.Devillers}，Fundam。通知。161，第4号，383--421（2018；Zbl 1400.68135） 全文： 内政部
曼弗雷德·布罗伊 基于假设/承诺的系统接口规范和架构合同的理论和方法。 （英语） Zbl 1392.68238号 表格方法系统。设计。 52，第1期，33-87（2018）.MSC公司：60年第68季度 2007年7月68日 64岁以下 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，《形式方法系统》。设计。52、第1号、第33-87号（2018；Zbl 1392.68238） 全文： 内政部
奥尔纳·库普弗曼;加尔省瓦尔迪 关于相对和概率有限抗衡性。 （英语） Zbl 1390.68433号 表格方法系统。设计。 52，第2期，117-146（2018）.MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{G.Vardi}，《形式方法系统》。设计。52，第2号，117--146（2018；Zbl 1390.68433） 全文： 内政部 链接
吴丽芳;徐耀文;简、孟;徐，肖;齐，魏 具有静态和动态特征的人脸活性检测方案。 （英语） Zbl 1404.94019号 国际小波多分辨率。信息处理。 16，第2号，文章ID 1840001，16 p.（2018）.MSC公司：94甲13 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{L.Wu}等人，《国际小波多分辨率》。信息处理。16，第2号，文章ID 1840001，16 p.（2018；Zbl 1404.94019） 全文： 内政部
佩德森，Jan B。;彼得·H·韦尔奇。 并发和验证的共生：教学和案例研究。 （英语） Zbl 1382.68144号 正式Asp。计算。 30，第2期，239-277（2018）.MSC公司：60年第68季度 68问题85 第97页第20页 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Pedersen}和\textit{P.H.Welch}，正式Asp。计算。30，第2号，239--277（2018；Zbl 1382.68144） 全文： 内政部