zbMATH参考文献（参考 625篇文章，3标准条款)

1. Aman，Bogdan；Ciobanu，Gabriel:具有定时迁移和定时通信的多智能体系统中的雇佣成本（2020）
2. Baresi，L.；Bersani，M.M.；Marconi，F.；Quattrocchi，G.；Rossi，M.：使用正式验证评估Spark应用程序的执行时间（2020年）
3. Bersani，Marcello M.；Soldo，Matteo；Menghi，Claudio；Pelliccione，Patrizio；Rossi，Matteo：追求——从机器人环境规范到控制器综合（2020）
4. 法伦伯格，乌利；莱盖，阿克塞尔；夸斯，卡林：用定量游戏计算分支距离（2020年）
5. 弗雷泽，道格拉斯；贾昆塔，鲁本；霍夫曼，露丝；爱尔兰，默里；米勒，爱丽丝；诺曼，盖钦：自主系统控制器综合的协作模型（2020）
6. Glonina，A.B.：用于测试模块化计算系统配置的实时约束的工具系统（2020）
7. 自动时间分析；穆德里奇和穆德里奇的多重博弈分析；朱利安·纳吉布2020；多时相分析
8. David Mestel；Roscoe，A.W.：并发模型之间的转换（2020）
9. 安德烈，Étienne；Jerray，Jawher；Mhiri，Sahar:Time4sys2imi：一种在不确定条件下正式化实时系统模型的工具（2019年）
10. Murgia，Maurizio:异步定时会话类型的输入紧急语义（2019）
11. Paulson，Lawrence C.；Nipkow，Tobias；Wenzel，Makarius:从LCF到Isabelle/HOL（2019年）
12. Podymov，V.V.：分层时间自动机的平坦算法（2019）
13. Martin Tappler；Bernhard K.Aichernig；Larsen，Kim Guldstrand；Lorber，Florian:学习时间--从测试中学习时间自动机（2019）
14. van Glabbeek，Rob：《确保分布式系统的活跃性：开放问题》（2019）
15. Akshay，S.；Gastin，Paul；Krishna，Shankara Narayanan:使用树自动机分析时间系统（2018）
16. Patricia Bouyer；Uli Fahrenberg；Kim Guldstrand；Markey，Nicolas；Ouakine，Joël；Worrell，James：模型检查实时系统（2018）
17. Dennis，Louise A.；Fisher，Michael；Webster，Matt:两阶段代理程序验证（2018）
18. Fares，Elie；Bodeveix，Jean-Paul；Filali，Mamoun：过渡系统组合应用到时间自动机的事件代数（2018）
19. Gregorio Rodríguez，Carlos；Llana，Luis；Martínez，Rafael:（\mathsfioco\underline\mathsfs）一致性关系的公理语义（2018）
20. Jovanović，Aleksandra；Kwiatkowska，Marta:使用随机博弈抽象的概率时间自动机参数综合（2018）