萨米·贾兹里;Larsen，Kim G。;拉杜·马达尔;薛冰田 时间模态逻辑的充分性和完全公理化。 （英语） Zbl 1337.03028号 Jacobs，Bart（编辑）等人，《第30届编程语义数学基础会议论文集》（MFPS XXX），美国纽约州伊萨卡，2014年6月12日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记308183-210，仅电子版（2014）。MSC公司：03B45号 03B70号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Jaziri}等人，《电子》。注释Theor。计算。科学。308183-210（2014年；Zbl 1337.03028） 全文： 内政部
亚历山大·戴维;彼得·詹森（Peter G.Jensen）。;金·古德斯特兰·拉森;Legay、Axel;莱姆，迪迪埃;瑟伦森，马蒂亚斯·格兰德;雅各布·H·塔安克维斯特。 以最低的预期成本按时完成！ （英语） Zbl 1448.68294号 Cassez，Franck（编辑）等人，《用于验证和分析的自动化技术》。2014年11月3日至7日，澳大利亚新南威尔士州悉尼，第十二届国际研讨会，ATVA 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。第8837129-145页（2014年）。MSC公司：60年第68季度 65年第68季度 68T05型 90B35型 90立方厘米 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.David}等人，Lect。注释计算。科学。8837、129--145（2014年；Zbl 1448.68294） 全文： 内政部
亚历山大·戴维;方慧星;金·古德斯特兰·拉森;张正奎 计时游戏策略的验证和性能评估。 （英语） Zbl 1448.68293号 Legay，Axel（编辑）等人，《定时系统的形式化建模和分析》。第十二届国际会议，FORMATS 2014，意大利佛罗伦萨，2014年9月8-10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8711, 100-114 (2014).MSC公司：60年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit｛A.David｝等人，Lect。注释计算。科学。8711、100-114（2014年；Zbl 1448.68293） 全文： 内政部
贝诺·德拉哈耶;乌里·法伦贝格;Larsen，Kim G。;Legay、Axel 概率自动机的精化和差异。 （英语） 兹比尔1338.68144 日志。计算方法。科学。 10，第3号，第11号论文，32页（2014）.MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人，日志。计算方法。科学。10，第3号，第11号论文，32页（2014；Zbl 1338.68144） 全文： 内政部
Larsen，Kim G。;拉杜·马达尔 加权模态逻辑的完整证明系统。 （英语） Zbl 1317.68120号 西奥。计算。科学。 546, 164-175 (2014). 审核人：达马斯·格鲁斯卡（布拉迪斯拉发） MSC公司：60年第68季度 03B45号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛K.G.Larsen｝和\textit｛R.Mardare｝，Theor。计算。科学。546164--175（2014年；Zbl 1317.68120） 全文： 内政部
乌里·法伦贝格;金·古德斯特兰·拉森;Legay、Axel;路易斯·马里·特劳努埃兹 模态转换系统的参数和定量扩展。 （英语） Zbl 1416.68121号 Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8415, 84-97 (2014).MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，Lect。注释计算。科学。8415、84-97（2014年；Zbl 1416.68121） 全文： 内政部
彼得·布利切夫;亚历山大·戴维;Larsen，Kim G。;李广元 \（\mathrm）片段的高效控制器合成{MTL}_{0，\infty}\）。 （英语） Zbl 1360.68578号 学报信息。 51，第3-4号，165-192（2014）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bulychev}等人，《信息学报》第51期，第3-4165-192号（2014年；Zbl 1360.68578） 全文： 内政部
贝诺·德拉哈耶;Larsen，Kim G。;Legay、Axel 为抽象概率自动机而结结巴巴。 （英语） Zbl 1283.68193号 J.日志。阿尔盖布。程序。 83，第1期，第1-19页（2014年）.MSC公司：65年第68季度 03B45号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人，J.Log。阿尔盖布。程序。83，第1号，第1-19号（2014；Zbl 1283.68193） 全文： 内政部
Larsen，Kim G。;Legay、Axel;路易斯·马里·特劳努埃兹;安德烈·索夫斯基 实时系统的鲁棒综合。 （英语） Zbl 1311.68088号 西奥。计算。科学。 515, 96-122 (2014).MSC公司：60年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人，Theor。计算。科学。515、96-122（2014年；Zbl 1311.68088） 全文： 内政部 哈尔