弗朗西斯科·杜兰;尼科拉斯·波扎斯;卡米洛·罗查 使用重写逻辑和基于深度学习的预测监控进行业务流程资源管理。 (英语) Zbl 07803180号 J.日志。阿尔盖布。方法计划。 136,文章ID 100928,26 p.(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人,J.Log。阿尔盖布。方法程序。136,文章ID 100928,26 p.(2024;Zbl 07803180) 全文: 内政部
豪尔赫·布拉兹奎兹;黑山,曼努埃尔;克拉拉塞古拉 验证Dafny中可变线性数据结构和基于迭代器的算法。 (英语) Zbl 07723896号 J.日志。阿尔盖布。方法计划。 134,文章ID 100875,31 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Blázquez}等人,J.Log。阿尔盖布。方法程序。134,文章ID 100875,31 p.(2023;Zbl 07723896) 全文: 内政部
辛齐亚·迪·朱斯托;吉祖恩,洛伊奇德国;艾蒂安·洛兹 多方半双工系统和同步通信。 (英语) 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) 全文: 内政部
佛罗伦萨雪佛龙;Aurélie胡罗;菲利普·奎因内克 用于验证通用分布式系统的模块化框架。 (英语) 兹比尔1435.68191 J.日志。阿尔盖布。方法计划。 108, 24-46 (2019).MSC公司:60年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{F.Chevru}等人,J.Log。阿尔盖布。方法程序。108、24-46(2019年;Zbl 1435.68191) 全文: 内政部 链接
拉马努贾姆,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) 全文: 内政部
休伯特Garavel 重温过程计算中的序列构成。 (英语) Zbl 1330.68201号 J.日志。阿尔盖布。方法计划。 84,第6期,742-762(2015).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel},J.日志。阿尔盖布。方法程序。84,第6号,742--762(2015;Zbl 1330.68201) 全文: 内政部