大卫·巴兹勒;莫里斯·比克。;亚历山德罗·范特奇;格内西、斯特凡尼亚 相干模态转换系统细化。 (英语) Zbl 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) 全文: 内政部 OA许可证
莫里斯·比克。;吉尔勒米纳·克莱杜;罗尔夫·亨尼克;何塞·普伦萨 我们能交流吗?使用动态逻辑来验证团队自动机。 (英语) Zbl 1529.68165号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 122-141 (2023).MSC公司:60年第68季度 03B70号 2010年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}等人,Lect。注释计算。科学。14000、122--141(2023年;Zbl 1529.68165) 全文: 内政部
Incer,伊尼戈;阿尔伯特·本文尼斯特;阿尔贝托Sangiovanni-Vincentelli;Sanjit A.Seshia。 从接口自动机到超契约。 (英语) Zbl 1528.68186号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 477-493 (2022).MSC公司:第68季度第45季度 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Incer}等人,Lect。注释计算。科学。13660477--493(2022年;Zbl 1528.68186) 全文: 内政部
艾琳·辛科;沃尔特·福格勒;约翰内斯·加里斯;N.Tri Nguyen公司;杰拉尔德·吕特根 共享内存的接口自动机。 (英语) Zbl 07592342号 学报信息。 59,第5期,521-556(2022年).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Schinko}等人,《信息学报》59,第5期,第521--556页(2022年;Zbl 07592342) 全文: 内政部 OA许可证
莫里斯·比克。;吉尔勒米纳·克莱杜;罗尔夫·亨尼克;何塞·普伦萨 特色团队自动机。 (英语) Zbl 1521.68082号 Huisman,Marieke(编辑)等人,《形式方法》。第24届国际研讨会,FM 2021,虚拟活动,2021年11月20日至26日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13047483-502(2021)。MSC公司:68问题85 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}等人,Lect。注释计算。科学。13047483--502(2021;Zbl 1521.68082) 全文: 内政部 arXiv公司 链接
阿列克桑达尔·迪莫夫斯基。;Legay、Axel;安德烈·沃索斯基 基于游戏的CTL提升模型检查的广义抽象重新定义。 (英语) Zbl 1460.68058号 西奥。计算。科学。 837, 181-206 (2020).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Dimovski}等人,Theor。计算。科学。837、181--206(2020年;Zbl 1460.68058) 全文: 内政部
大卫·巴兹勒;莫里斯·比克。;罗萨里奥·普格利泽 编配和舞蹈的综合:弥合监督控制和服务协调之间的差距。 (英语) Zbl 1528.68173号 日志。方法计算。科学。 16,第2号,第9号论文,29页(2020年).MSC公司:第68季度第45季度 60年第68季度 68问题85 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{D.Basile}等人,Log。方法计算。科学。16,第2号,第9号文件,第29页(2020;兹bl 1528.68173) 全文: arXiv公司 链接
沃尔特·福格勒;杰拉尔德·吕特根 接口自动机的线性时间分支时间透视图。 (英语) Zbl 1443.68099号 学报信息。 57,编号3-5,513-550(2020).MSC公司:第68季度第45季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Vogler}和\textit{G.Lüttgen},《学报》第57期,第3--5513-550号(2020年;Zbl 1443.68099) 全文: 内政部 OA许可证
佛朗哥·巴巴内拉;乌戈,德利古罗;罗尔夫·亨尼克 连接通信有限状态机的开放系统。 (英语) Zbl 1435.68211号 J.日志。阿尔盖布。方法计划。 109,文章ID 100476,第34页(2019).MSC公司:68问题85 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人,J.Log。阿尔盖布。方法计划。109,文章ID 100476,34 p.(2019;Zbl 1435.68211) 全文: 内政部
马赫萨·瓦尔肖萨兹;拉斯·鲁特曼;Paul莫尔;马耳他州洛豪;穆罕默德·雷扎·穆萨维 特征转换系统的模态转换系统编码。 (英语) Zbl 1423.68113号 J.日志。阿尔盖布。方法计划。 106, 1-28 (2019).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Varshosaz}等人,J.Log。阿尔盖布。方法计划。106,1--28(2019年;Zbl 1423.68113) 全文: 内政部 链接
芬德里奇、萨沙;杰拉尔德·吕特根 接口自动机、组件兼容性和错误的一般理论。 (英语) Zbl 1421.68093号 学报信息。 56,第4287-319号(2019).MSC公司:第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Fendrich}和\textit{G.Lüttgen},《学报》第56卷第4期,第287--319页(2019年;Zbl 1421.68093) 全文: 内政部 链接
阿列克桑达尔·迪莫夫斯基。;克劳斯·布拉布兰德;安德烈·索夫斯基 为提升分析寻找合适的变异性抽象。 (英语) Zbl 1425.68067号 正式Asp。计算。 31,2号,231-259(2019).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Dimovski}等人,《形式Asp》。计算。31,第2号,231--259(2019;Zbl 1425.68067) 全文: 内政部
罗尔夫·亨尼克;米歇尔·比多特 同步和异步通信组件的兼容性属性。 (英语) Zbl 1464.68030号 日志。方法计算。科学。 14,1号,1号论文,31页(2018).MSC公司:64岁以下 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}和\textit{M.Bidoit},日志。方法计算。科学。14,第1期,第1号论文,31页(2018;Zbl 1464.68030) 全文: 内政部 arXiv公司
费伦茨·巴伊托;沃尔特·福格勒 ACTL用于模态接口自动机。 (英语) Zbl 1373.68296号 西奥。计算。科学。 693, 13-34 (2017).MSC公司:68问题85 03B44号 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bujtor}和\textit{W.Vogler},Theor。计算。科学。693、13-34(2017年;Zbl 1373.68296) 全文: 内政部
哈什·贝哈尔;穆罕默德·雷扎·穆萨维 软件产品线的输入输出一致性测试。 (英语) Zbl 1392.68144号 J.日志。阿尔盖布。方法计划。 85,第6期,1131-1153(2016).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{H.Beohar}和\textit{M.R.Mousavi},J.Log。阿尔盖布。方法计划。85,第6号,1131--1153(2016;Zbl 1392.68144) 全文: 内政部 OA许可证
费伦茨·巴伊托;芬德里奇、萨沙;杰拉尔德·吕特根;沃尔特·福格勒 非确定性模态接口。 (英语) Zbl 1345.68231号 西奥。计算。科学。 642, 24-53 (2016).MSC公司:68问题85 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bujtor}等人,Theor。计算。科学。642、24-53(2016年;Zbl 1345.68231) 全文: 内政部
芬德里奇,萨沙;杰拉尔德·吕特根 接口自动机、组件兼容性和错误的一般理论。 (英语) Zbl 1354.68173号 布拉哈姆,埃里卡(编辑)等,《综合形式方法》。2016年6月1日至5日在冰岛雷克雅未克举行的2016年第12届国际会议。诉讼程序。查姆:施普林格(ISBN 978-3-319-33692-3/pbk;978-3-3169-33693-0/电子书)。计算机科学讲座笔记9681160-175(2016)。MSC公司:60年第68季度 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Fendrich}和\textit{G.Lüttgen},Lect。注释计算。科学。9681、160-175(2016年;Zbl 1354.68173) 全文: 内政部 链接
莫里斯·比克。;亚历山德罗·范特奇;格内西、斯特凡尼亚;弗朗科·马扎蒂 产品族可变性建模和分析:具有可变性约束的模态转换系统的模型检查。 (英语) Zbl 1351.68170号 J.日志。阿尔盖布。方法计划。 85,第2期,287-315(2016).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}等人,J.Log。阿尔盖布。方法计划。85,第2号,287--315(2016;Zbl 1351.68170) 全文: 内政部
马耳他州洛豪;Stephan门尼克;豪克·巴勒;拉尔斯·里贝克 面向增量的软件产品线的增量模型检查。 (英语) Zbl 1346.68061号 J.日志。阿尔盖布。方法计划。 85,第1号,第2部分,245-267(2016).MSC公司:68号30 68N99型 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Lochau}等人,J.Log。阿尔盖布。方法计划。85,第1号,第2部分,245--267(2016;Zbl 1346.68061) 全文: 内政部
加塞米,法特梅;穆罕默德·雷扎·穆萨维 产品线过程理论。 (英语) Zbl 1346.68060号 J.日志。阿尔盖布。方法计划。 85,第1号,第2部分,200-226(2016).MSC公司:68号30 68N99型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Ghassemi}和\textit{M.R.Mousavi},J.Log。阿尔盖布。方法计划。85,第1号,第2部分,200--226(2016;Zbl 1346.68060) 全文: 内政部 OA许可证
莫里斯·比克。;格内西、斯特凡尼亚;弗朗科·马扎蒂 模型检查值通过模型规范。 (英语) Zbl 1434.68303号 Voronkov,Andrei(编辑)等人,《系统信息学的观点》。2014年6月24日至27日,俄罗斯圣彼得堡,第九届国际Ershov信息学会议,PSI 2014。修订了选定的论文。柏林:斯普林格。莱克特。注释计算。科学。8974, 304-319 (2015).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}等人,Lect。注释计算。科学。8974、304--319(2015;Zbl 1434.68303) 全文: 内政部
卢卡什·霍利克;马尔特·伊斯伯纳;本特·琼森 具有数据的组件代数中的中介合成。 (英语) Zbl 1444.68103号 Meyer,Roland(编辑)等人,《正确的系统设计》。2015年9月8日至9日,德国奥尔登堡,纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9360238-259(2015年)。MSC公司:60年第68季度 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Holík}等人,Lect。注释计算。科学。9360、238--259(2015;Zbl 1444.68103) 全文: 内政部
费伦茨·巴伊托;沃尔特·福格勒 接口自动机中的错误修剪。 (英语) Zbl 1328.68136号 西奥。计算。科学。 597, 18-39 (2015).MSC公司:68问题85 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bujtor}和\textit{W.Vogler},Theor。计算。科学。597、18-39(2015年;Zbl 1328.68136) 全文: 内政部
杰拉尔德·吕特根;沃尔特·福格勒;芬德里奇、萨沙 具有乐观和悲观兼容性的更丰富的接口自动机。 (英语) Zbl 1325.68161号 学报信息。 52,编号4-5,305-336(2015).MSC公司:68问题85 第68季度第45季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Lüttgen}等人,《信息学报》52,第4--5305-336号(2015;Zbl 1325.68161) 全文: 内政部
莫里斯·比克。;格内西、斯特凡尼亚;弗朗科·马扎蒂 从欧盟项目到模型检查器家族。从康定斯基到坎迪斯蒂。 (英语) Zbl 1454.68006号 De Nicola,Rocco(编辑)等人,《软件、服务和系统》。马丁·威辛(Martin Wirsing)于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆:斯普林格。莱克特。注释计算。科学。8950, 312-328 (2015).MSC公司:68-03 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}等人,Lect。注释计算。科学。8950,312--328(2015;Zbl 1454.68006) 全文: 内政部
尼古拉·贝内什;简·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) 全文: 内政部 链接
罗尔夫·亨尼克;亚历山大·纳普 从界面理论转向装配理论。 (英语) Zbl 1309.68047号 学报信息。 52,编号2-3,235-268(2015).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}和\textit{A.Knapp},《学报》第52期,第2--3235-268号(2015年;Zbl 1309.68047) 全文: 内政部 链接
马耳他州洛豪;斯文·佩尔祖斯;马蒂亚斯·科瓦尔;伊娜·谢弗 基于模型的测试。 (英语) Zbl 1445.68056号 Bernardo,Marco(编辑)等人,可执行软件模型的形式化方法。2014年6月16日至20日,意大利贝蒂诺罗,第14所计算机、通信和软件系统正式设计方法国际学校,SFM 2014。高级讲座。柏林:斯普林格。莱克特。注释计算。科学。8483, 310-342 (2014).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lochau}等人,Lect。注释计算。科学。8483、310——342(2014年;Zbl 1445.68056) 全文: 内政部
乔恩,帕沃;马丁·奇梅利克;托马斯·亨辛格(Thomas A.Henzinger)。;Radhakrishna,阿琼 接口模拟距离。 (英语) Zbl 1303.68076号 西奥。计算。科学。 560,第3部分,348-363(2014).MSC公司:第68季度第45季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.乔恩}等人,Theor。计算。科学。560,第3部分,348--363(2014;Zbl 1303.68076) 全文: 内政部 arXiv公司
劳拉·博泽利;汉斯·范·迪特马什;法语,蒂姆;詹姆斯·黑尔斯;苏菲·平奇纳特 完善模态逻辑。 (英语) Zbl 1309.68175号 Inf.计算。 239, 303-339 (2014).MSC公司:68T27型 03B45 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。239303--339(2014年;Zbl 1309.68175) 全文: 内政部 arXiv公司
克里斯·奇尔顿;本特·琼森;玛尔塔·奎亚特科夫斯卡 接口自动机的代数理论。 (英语) Zbl 1360.68608号 西奥。计算。科学。 549, 146-174 (2014).MSC公司:70年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Chilton}等人,Theor。计算。科学。549、146--174(2014年;Zbl 1360.68608) 全文: 内政部
罗尔夫·亨尼克;亚历山大·纳普;马丁·威尔辛 通信安全组件系统的组装理论。 (英语) Zbl 1310.68057号 Bensalem,Saddek(编辑)等人,《从程序到系统》。计算中的系统观点。ETAPS研讨会,FPS 2014,纪念约瑟夫·西法克斯,法国格勒诺布尔,2014年4月6日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-54847-5/pbk)。计算机科学课堂讲稿8415,145-160(2014)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人,Lect。注释计算。科学。8415,145-160(2014;Zbl 1310.68057) 全文: 内政部
汤姆·波奇;什尔,昂德;弗朗蒂舍克·普拉舍尔;科夫罗,简 线程行为协议。 (英语) Zbl 1298.68066号 正式Asp。计算。 25,第4期,543-572(2013).MSC公司:68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Poch}等人,正式Asp。计算。25,第4号,543--572(2013;Zbl 1298.68066) 全文: 内政部
贝诺·德拉哈耶;Joost-Pieter卡托恩;Larsen,Kim G。;Legay、Axel;米克尔·L·佩德森。;福尔克·谢尔;安德烈·索夫斯基 抽象概率自动机。 (英语) Zbl 1296.68092号 Inf.计算。 232, 66-116 (2013).MSC公司:第68季度第45季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人,《信息计算》。232、66-116(2013年;Zbl 1296.68092) 全文: 内政部
乔塞普·卡莫纳;码头Kleijn 多组件环境中的兼容性。 (英语) Zbl 1292.68107号 西奥。计算。科学。 484, 1-15 (2013).MSC公司:68问题85 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Carmona}和\textit{J.Kleijn},Theor。计算。科学。484,1--15(2013;Zbl 1292.68107) 全文: 内政部
Nathalie Bertrand;Legay、Axel;索菲·平奇纳特;Jean-Baptiste Raclet女士 基于定时组件设计的模态事件块规范。 (英语) Zbl 1264.68053号 科学。计算。程序。 77,第12期,1212-1234(2012).MSC公司:68号30 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,科学。计算。程序。77,第12号,1212--1234(2012;Zbl 1264.68053) 全文: 内政部
塞巴斯蒂安·鲍尔。;Juhl,Line公司;Larsen,Kim G。;Legay、Axel;吉·斯尔巴 使用结构化标签扩展模态转换系统。 (英语) Zbl 1277.68160号 数学。结构。计算。科学。 第4号第22页,第581-617页(2012年).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人,数学。结构。计算。科学。22,第4号,581--617(2012;Zbl 1277.68160) 全文: 内政部
塞巴斯蒂安·鲍尔。;罗尔夫·亨尼克;马丁·威尔辛 为并发和数据构建模式接口理论。 (英语) Zbl 1312.68149号 Mossakowski,Till(编辑)等人,代数开发技术的最新趋势。第20届国际研讨会,WADT 2010,德国埃特尔森,2010年7月1日至4日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-28411-3/pbk)。计算机科学讲义7137,1-12(2012)。MSC公司:68问题85 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人,Lect。注释计算。科学。7137,1-12(2012;Zbl 1312.68149) 全文: 内政部
罗尔夫·亨尼克;亚历山大·克纳普 通信安全组件的模态接口理论。 (英语) Zbl 1350.68182号 Cerone,Antonio(编辑)等人,《计算的理论方面——ICTAC 2011》。第八届国际学术讨论会,南非约翰内斯堡,2011年8月31日至9月2日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23282-4/pbk)。计算机科学课堂讲稿6916,135-153(2011)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}和\textit{A.Knapp},莱克特。注释计算。科学。6916、135——153(2011年;Zbl 1350.68182) 全文: 内政部 链接
拉杜·马斯切维奇;何塞·普伦萨;克拉克、戴夫 使用特征网对软件产品线进行模块化建模。 (英语) Zbl 1350.68063号 Barthe,Gilles(编辑)等人,《软件工程和形式化方法》。2011年11月14日至18日,乌拉圭蒙得维的亚,2011年SEFM第九届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24689-0/pbk)。计算机科学课堂讲稿7041,318-333(2011)。MSC公司:68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Muschevic}等人,Lect。注释计算。科学。7041318--333(2011年;Zbl 1350.68063) 全文: 内政部 链接
贝诺·凯劳德;贝诺·德拉哈耶;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) 全文: 内政部
塞巴斯蒂安·鲍尔。;罗尔夫·亨尼克;马丁·威尔辛 并发和数据的接口理论。 (英语) 兹比尔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) 全文: 内政部
塞巴斯蒂安·鲍尔。;罗尔夫·亨尼克;米歇尔·比多特 具有数据约束的模态界面理论。 (英语) Zbl 1325.68055号 Davies,Jim(编辑)等人,《形式方法:基础和应用》。2010年11月8日至11日在巴西纳塔尔举行的第13届巴西正式方法研讨会,SBMF 2010。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-19828-1/pbk)。《计算机科学讲义》6527,80-95(2011)。MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人,Lect。注释计算。科学。6527,80-95(2011;Zbl 1325.68055) 全文: 内政部
贝诺·德拉哈耶;Joost-Pieter卡托恩;Larsen,Kim G。;Legay、Axel;米克尔·L·佩德森。;福尔克·谢尔;安德烈·索夫斯基 抽象概率自动机。 (英语) Zbl 1317.68095号 Jhala,Ranjit(编辑)等人,《验证、模型检查和抽象解释》。2011年1月23日至25日,第12届国际会议,VMCAI 2011,美国德克萨斯州奥斯汀。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-18274-7/pbk)。计算机科学课堂讲稿6538,324-339(2011)。MSC公司:第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人,Lect。注释计算。科学。6538,324--339(2011;Zbl 1317.68095) 全文: 内政部
亚历山大·戴维;Larsen,Kim G。;Legay、Axel;乌尔里克·尼曼;安德烈·索夫斯基 使用定时I/O自动机的实时系统规范的方法。 (英语) Zbl 1312.68131号 de Boer,Frank S.(编辑)等人,组件和对象的形式化方法。第八届国际研讨会,2009年FMCO,荷兰埃因霍温,2009年11月4-6日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-17070-6/pbk)。计算机科学讲义6286290-310(2010)。MSC公司:60年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{A.David}等人,Lect。注释计算。科学。6286290-310(2010年;Zbl 1312.68131) 全文: 内政部 链接
亚当·安东尼克;哈,迈克尔;Larsen,Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 EXPTIME——模态和混合规范的完整决策问题。 (英语) 兹比尔1291.68172 Hildebrandt,Thomas(编辑)等人,《第十五届并发表达能力国际研讨会论文集》(EXPRESS 2008),加拿大多伦多,2008年8月23日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》242,第1期,第19-33页(2009年)。MSC公司:2017年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Antonik}等人,《电子》。注释Theor。计算。科学。242,第1号,19--33(2009;Zbl 1291.68172) 全文: 内政部
Nathalie Bertrand;苏菲·平奇纳特;Jean-Baptiste Raclet女士 定时模式规范的细化和一致性。 (英语) Zbl 1234.68250号 Dediu,Adrian Horia(编辑)等人,《语言和自动机理论与应用》。2009年4月2-8日在西班牙塔拉戈纳举行的2009年拉丁美洲旅游协会第三届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00981-5/pbk)。计算机科学课堂讲稿5457152-163(2009)。MSC公司:60年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,Lect。注释计算。科学。5457,152--163(2009年;Zbl 1234.68250) 全文: 内政部