Saddem-yagoubi，环；奥利维尔·瑙德；凯伦·戈达里·德杰恩；迪迪埃·克雷斯塔尼 精准农业物流的模型检验：差异收获案例。 （英语） Zbl 1456.91067号 离散事件动态。系统。 30，第4号，579-604（2020）.MSC公司：91B76号 93亿B50 90B20型 PDF格式BibTeX公司 XML格式引用 \textit｛R.Saddem-yagoubi｝等人，离散事件Dyn。系统。30，编号4，579-604（2020；兹bl 1456.91067） 全文： 内政部
托马斯·亨辛格（Thomas A.Henzinger）。；奥托普，简 混合系统的模型测量。 （英语） Zbl 1362.68173号 第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15日至17日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2732-9）。213-222 (2014).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}和\textit{J.Otop}，摘自：第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15-17日。纽约州纽约市：计算机协会（ACM）。213-222（2014年；兹bl 1362.68173） 全文： 内政部
吕迪格·埃勒斯；托普库，乌福 反应合成中间歇性假设违反的弹性。 （英语） Zbl 1361.68146号 第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15日至17日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2732-9）。203-212 (2014).MSC公司：60年第68季度 65年第68季度 68T40型 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit｛R.Ehlers｝和\textit｛U.Topcu｝，载于：第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15日至17日。纽约州纽约市：计算机协会（ACM）。203--212（2014；Zbl 1361.68146） 全文： 内政部
塞尔吉·博戈莫洛夫；克里斯蒂安·埃雷拉；马尔科·穆尼兹；伯恩德·韦斯特法尔；安德烈亚斯·波德尔斯基 混合自动机中的准相关变量。 （英语） Zbl 1361.68118号 第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15日至17日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2732-9）。93-102 (2014).MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人，in：第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15-17日。纽约州纽约市：计算机协会（ACM）。93-102（2014年；Zbl 1361.68118） 全文： 内政部 链接
艾丽卡·阿尔布拉汉姆；贝恩德·贝克尔；克里斯蒂安·德内特；詹森，尼尔斯；Joost-Pieter卡托恩；拉尔夫·威默 离散时间马尔可夫模型的反例生成：介绍性调查。 （英语） Zbl 1445.68130号 Bernardo，Marco（编辑）等人，可执行软件模型的形式化方法。2014年6月16日至20日，意大利贝蒂诺罗，第14所计算机、通信和软件系统正式设计方法国际学校，SFM 2014。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8483, 65-121 (2014).MSC公司：60年第68季度 60J22型 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，Lect。注释计算。科学。8483、65-121（2014年；Zbl 1445.68130） 全文： 内政部
谢丁宝；卜、雷；赵建华；李宣东 线性混合自动机的SAT-LP-IIS联合定向路径有界可达性分析。 （英语） Zbl 1317.68126号 形式方法系统。设计。 45，第1期，42-62（2014）.MSC公司：60年第68季度 65年第68季度 90C05（二氧化碳） PDF格式BibTeX公司 XML格式引用 \textit{D.Xie}等人，《形式方法系统》。设计。45，第1号，42--62（2014；Zbl 1317.68126） 全文： 内政部