引用人
迪尔S Fiterau-Brostean P公司 豪厄尔F 琼森B 萨戈纳斯K 特奎斯特F (2024) 基于可伸缩树的注册自动机学习 系统构建和分析的工具和算法 10.1007/978-3-031-57249-4_5 (87-108) 在线发布日期:2024年4月6日 赫奇·哈布什J 数量J 施伦德·M (2024) 汽车行业开发过程中的正式运行时错误检测 验证、模型检查和抽象解释 10.1007/978-3-031-50524-9_1 (3-26) 在线发布日期:2024年1月15日 拉哈·R 罗伊·R 菲亚尔科夫N 奈德D 佩雷斯G (2024) 度量时态逻辑中高效可监控公式的合成 验证、模型检查和抽象解释 10.1007/978-3-031-50521-8_13 (264-288) 在线发布日期:2024年1月15日 显示更多引用者