zbMATH中的参考文献（参考文献677篇文章,3标准条款)

1. Blondin，Maude Josée:多约束和非线性系统的控制器优化方法。元启发式方法（2021）
2. 加尔泰斯，乔治亚娜；Tunç，Hünkar Can:解释NetKAT的安全故障（2021年）
3. 多克特，卡斯帕；加杜奇，法比奥；狮子，本杰明；Santini，Francesco:带记忆的软约束自动机（2021）
4. 邓杜瓦，贝西克；特穆尔库兹亚；Marin，Mircea：结合和交换理论中的变分方程匹配（2021）
5. 卢卡斯，萨尔瓦多：上下文相关重写的应用和扩展（2021）
6. 谢婉玲；朱惠标；徐启文：移动系统的过程演算及其形式语义（2021）
7. 阿普特，玛里亚；昆卡·奥尔特加，天使；圣地亚哥埃斯科巴；Meseguer，José：结合性和/或交换性公理的有序同胚嵌入模组合（2020）
8. 阿普特，玛里亚；帕多，丹尼尔；艾丽西亚维拉纽瓦：符号（\mathbk）框架下的抽象合同合成与验证（2020）
9. 阿尔普特，M。；巴利斯，D。；Sapiña，J.：Maude项目的有效安全执行，通过项目专业化在\textsfÁTAME系统（2020年）
10. 阿尔普特，M。；Cuenca Ortega，A。；埃斯科瓦尔。；Meseguer，J.：有序等式程序模公理的部分评估框架（2020）
11. 卡莱特，雅克；农民，威廉M。；Sharoda，Yasmine:利用理论陈述中包含的信息（2020年）
12. 德尼古拉，罗科；法拉利，吉安鲁吉；普利斯，罗萨里奥；Tiezzi，Francesco:一种域特定分布式系统工程的正式方法（2020）
13. Diaconescu，Răzvan:引入（H），一种基于机构的正式规范和验证语言（2020）
14. 杜兰，旧金山；埃克，史蒂文；圣地亚哥埃斯科巴；玛蒂奥利特，纳西索；梅斯盖尔，何塞；鲁比奥，鲁宾；Carolyn Talcott:Maude的编程和符号计算（2020）
15. 杜兰，旧金山；梅斯盖尔，何塞；Rocha，Camilo：《有序有序条件规范模公理的基础汇合》（2020）
16. 埃拉拉，阿杰·库马尔；克里斯托弗·林奇：有界ACh统一（2020）
17. 但以理阿，以理；中村正崎；绪方、和谷弘；Futatsugi，Kokichi:通过合并推出的终止稳定性和充分完整性（2020年）
18. 卢卡斯，萨尔瓦多：使用有根据的关系证明运营终止（2020年）
19. 卢卡斯，萨尔瓦多；梅斯盖尔，何塞；Gutiérrez，劳尔：条件重写系统的2D依赖对框架。二： 先进处理器和实现技术（2020）
20. 马丁斯，Óscar；阿尔伯托威尔德乔；MartíOliet，Narcisco：重写逻辑中的组合规范（2020）