吕克·爱迪克索芬;宋世宗曼;何塞·普伦萨;伊利亚州卡斯特拉尼 分支花束:设计、表现力和编舞应用。 (英语) Zbl 07803172号 J.日志。阿尔盖布。方法程序。 136,文章ID 100919,36 p.(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Edixhoven}等人,J.Log。阿尔盖布。方法计划。136,文章ID 100919,36 p.(2024;Zbl 07803172) 全文: 内政部
辛齐亚·迪·朱斯托;洛伊克·杰梅里·吉佐安;艾蒂安·洛兹 多方半双工系统和同步通信。 (英语) Zbl 1512.68165号 J.日志。阿尔盖布。方法计划。 131,文章ID 100843,17 p.(2023).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Di Giusto}等人,J.Log。阿尔盖布。方法程序。131,文章ID 100843,17 p.(2023;Zbl 1512.68165) 全文: 内政部
亚历克斯·科托;罗伯特·瓜夏莱;埃米利奥·托斯托 舞蹈测试的抽象框架。 (英语) Zbl 1528.68249号 J.日志。阿尔盖布。方法计划。 123,文章ID 100712,32 p.(2021).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Coto}等人,J.Log。阿尔盖布。方法计划。123,文章ID 100712,32 p.(2021;Zbl 1528.68249) 全文: 内政部 arXiv公司
图巴·亚武兹 部分谓词抽象和反例引导精化。 (英语) Zbl 1494.68177号 J.日志。阿尔盖布。方法计划。 110,文章ID 100437,17 p.(2020).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{T.Yavuz},J.Log(J·洛格)。阿尔盖布。方法计划。110,文章ID 100437,17 p.(2020;Zbl 1494.68177) 全文: 内政部 arXiv公司
佛罗伦萨雪佛龙;奥雷利·胡罗;菲利普·奎因内克 用于验证通用分布式系统的模块化框架。 (英语) Zbl 1435.68191号 J.日志。阿尔盖布。方法计划。 108, 24-46 (2019).MSC公司:60年第68季度 68米14 PDF格式BibTeX公司 XML格式引用 \textit{F.Chevru}等人,J.Log。阿尔盖布。方法计划。108,24-46(2019年;兹比尔1435.68191) 全文: 内政部 链接
莫里齐奥·穆尔吉亚 为异步定时会话类型输入紧急语义。 (英语) Zbl 1431.68078号 J.日志。阿尔盖布。方法计划。 107, 38-53 (2019).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Murgia},J.Log。阿尔盖布。方法计划。107、38-53(2019年;Zbl 1431.68078) 全文: 内政部
佛朗哥·巴巴内拉;范·贝克尔,斯特芬;乌戈·德利古罗 协调的会话符合性。 (英语) Zbl 1353.68023号 J.日志。阿尔盖布。方法程序。 86,第1号,30-76(2017).MSC公司:64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人,J.Log。阿尔盖布。方法计划。86、1号、30--76(2017;Zbl 1353.68023) 全文: 内政部 arXiv公司
拉马努贾姆,R。;Sheerazuddin,S。 web服务编排的可实现时态逻辑。 (英语) Zbl 1348.68148号 J.日志。阿尔盖布。方法计划。 85,第5号,第1部分,759-781(2016).MSC公司:60年第68季度 68英里11 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ramanujam}和\textit{S.Sheerazuddin},J.Log。阿尔盖布。方法计划。85,第5号,第1部分,759--781(2016;Zbl 1348.68148) 全文: 内政部
D.巴兹利。;P.德加诺。;法拉利,G.L。;托斯托,E。 将编排和编排的两个基于自动机的模型联系起来。 (英语) Zbl 1352.68125号 J.日志。阿尔盖布。方法计划。 85,第3期,425-446(2016).MSC公司:第68季度第45季度 64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Basile}等人,J.Log。阿尔盖布。方法计划。85,第3号,425--446(2016;Zbl 1352.68125) 全文: 内政部
马西莫·巴托莱蒂;蒂齐亚娜·西莫利;米歇尔·平纳。;罗伯托·祖尼诺 在活动结构上签订游戏合同。 (英语) Zbl 1352.68174号 J.日志。阿尔盖布。方法计划。 85,第3号,399-424(2016).MSC公司:68问题85 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人,J.Log。阿尔盖布。方法计划。85,第3号,399--424(2016;Zbl 1352.68174) 全文: 内政部