引用人
苏J 天C 杨Z 杨杰(Yang J) 于B 段Z (2022) 优先约束辅助动态部分序约简 第37届IEEE/ACM自动化软件工程国际会议论文集 10.1145/3551349.3561159 (1-13) 在线发布日期:2022年10月10日 伊莎贝尔·M 张D 莫勒A (2019) 条件动态降阶与最优性结果 第28届ACM SIGSOFT软件测试与分析国际研讨会论文集 10.1145/3293882.3338987 (433-437) 在线发布日期:2019年7月10日 阿尔伯特·E 德拉班达M 戈梅兹·扎马洛亚 伊莎贝尔·M Stuckey P公司 张D 莫勒A (2019) 基于观测器的最优上下文相关动态降阶 第28届ACM SIGSOFT软件测试与分析国际研讨会论文集 10.1145/3293882.3330565 (352-362) 在线发布日期:2019年7月10日 显示更多引用者