引用人
杨毅(Yang Y) 霍尔沃特T (2024) 使GOAL的模型检查可行 数学与人工智能年鉴 2007年10月10日/10472-023-09898-3 92 :4 (837-853) 在线发布日期:2024年8月1日 Ciortea A公司 迈耶S 比恩茨S 甘顿·F 科尔比O (2024) 在社交和无处不在的Web中进行自主搜索 个人和普适计算 2007年10月10日/00779-020-01415-1 28 :1 (259-272) 在线发布日期:2024年2月1日 埃斯特豪斯C 米勒·T 范·宾斯贝根L (2024) JustAct:由部分动态策略普遍证明的行动 分布式对象、组件和系统的形式化技术 10.1007/978-3-031-62645-6_4 (60-81) 在线发布日期:2024年6月17日 显示更多引用者