大卫·巴兹勒；莫里斯·比克。；亚历山德罗·范特奇；格内西、斯特凡尼亚 相干模态转换系统细化。 （英语） 兹伯利07820973 J.日志。阿尔盖布。方法计划。 138，文章ID 100954，23 p.（2024）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit｛D.Basile｝等人，J.Log。阿尔盖布。方法计划。138，文章ID 100954，23 p.（2024；Zbl 07820973） 全文： 内政部
Larsen，Kim G。；克里斯蒂安·席林；吉·斯尔巴 形式化方法中的模拟关系和应用。 （英语） Zbl 1528.68188号 Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 272-291 (2022).MSC公司：65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人，Lect。注释计算。科学。13660272--291（2022年；Zbl 1528.68188） 全文： 内政部
尼古拉·贝内什；乌里·法伦贝格；简·Křetínsk；Legay、Axel；路易斯·马里·特劳努埃兹 逻辑规范与行为规范。 （英语） Zbl 1435.68189号 Inf.计算。 271，文章ID 104487，24 p.（2020）.MSC公司：60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人，《信息计算》。271，文章ID 104487，24 p.（2020；Zbl 1435.68189） 全文： 内政部 哈尔
乌里·法伦贝格；简·Křetínsk；Legay、Axel；路易斯·马里·特劳努埃兹 定量规范的组成。 （英语） Zbl 1398.68339号 软计算。 22，第4期，1139-1158（2018）.MSC公司：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，《软计算》。22，第4号，1139--1158（2018；Zbl 1398.68339） 全文： 内政部 arXiv公司
尼古拉·贝内什；简·Křetínsk；Larsen，Kim G。；米凯尔·H·默勒。；所罗门·西克特；吉·斯尔巴 参数模态转换系统的精化检查。 （英语） Zbl 1309.68130号 学报信息。 52，编号2-3，269-297（2015）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人，Acta Inf.52，No.2--3，269--297（2015；Zbl 1309.68130） 全文： 内政部 链接
乌里·法伦贝格；Legay、Axel 模态转换系统的一般定量规范理论。 （英语） Zbl 1360.68585号 学报信息。 51，第5期，261-295（2014）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}和\textit{A.Legay}，《信息学报》51，第5期，261--295（2014；Zbl 1360.68585） 全文： 内政部 哈尔
贝诺·德拉哈耶；Joost-Pieter卡托恩；Larsen，Kim G。；Legay、Axel；米克尔·L·佩德森。；福尔克·谢尔；安德烈·索夫斯基 抽象概率自动机。 （英语） Zbl 1296.68092号 Inf.计算。 232, 66-116 (2013).MSC公司：65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人，《信息计算》。232、66-116（2013年；Zbl 1296.68092） 全文： 内政部
尼古拉·贝内什；简·Křetínsk；Larsen，Kim G。；吉·斯尔巴 EXPTIME-对模态转换系统进行彻底细化的完整性。 （英语） Zbl 1282.68118号 Inf.计算。 218, 54-68 (2012).MSC公司：2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人，《信息计算》。218，54-68（2012年；兹比尔1282.68118） 全文： 内政部
塞巴斯蒂安·鲍尔。；Juhl，Line公司；Larsen，Kim G。；Legay、Axel；吉·斯尔巴 使用结构化标签扩展模态转换系统。 （英语） Zbl 1277.68160号 数学。结构。计算。科学。 22，第4期，581-617（2012）.MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人，数学。结构。计算。科学。22，第4号，581--617（2012；Zbl 1277.68160） 全文： 内政部
Juhl，Line公司；Larsen，Kim G。；吉·斯尔巴 具有重量间隔的模态转换系统。 （英语） Zbl 1243.68215号 J.日志。阿尔盖布。程序。 81，第4期，408-421（2012）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Juhl}等人，J.Log。阿尔盖布。程序。81，第4号，408--421（2012；Zbl 1243.68215） 全文： 内政部
贝诺·凯劳德；贝诺·德拉哈耶；Larsen，Kim G。；Legay、Axel；米克尔·L·佩德森。；安德烈·索夫斯基 约束马尔可夫链。 （英语） Zbl 1223.68070号 西奥。计算。科学。 412，第34号，4373-4404（2011）. 审核人：托马斯·扬森（科克） MSC公司：60年第68季度 60J10型 PDF格式BibTeX公司 XML格式引用 \textit{B.Caillaud}等人，Theor。计算。科学。412，第34号，4373--4404（2011；Zbl 1223.68070） 全文： 内政部
杰拉尔德·吕特根；沃尔特·福格勒 使用逻辑LTS进行安全推理。 （英语） Zbl 1216.68193号 西奥。计算。科学。 412，第28号，3337-3357（2011）.MSC公司：68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Lüttgen}和\textit{W.Vogler}，Theor。计算。科学。412，第28号，3337-3357（2011；Zbl 1216.68193） 全文： 内政部
塞巴斯蒂安·鲍尔。；罗尔夫·亨尼克；马丁·威尔辛 并发和数据的接口理论。 （英语） Zbl 1216.68187号 西奥。计算。科学。 412，第28号，3101-3121（2011）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人，Theor。计算。科学。412，第28号，3101--3121（2011；Zbl 1216.68187） 全文： 内政部