zbMATH中的参考文献（参考文献34条)

1. 科斯塔，加布里埃尔；加莱塔，莱特欧；德加诺，皮耶尔帕洛；盆地，大卫；博德，恰拉：作为部分模型检查的自然投影（2020年）
2. 丙酮，卢卡；Fá布雷加斯，伊格纳西奥；格雷戈里奥·罗德尔í盖兹，卡洛斯；英ólfsd公司óttir，Anna:输入输出一致性模拟的逻辑特征、规则格式和组合性（2019）
3. 加雷维尔，休伯特；朗，法国édé风险投资委员会；Mateescu，Radu:使用CADP对异步并发系统进行组合验证（2015）
4. 比格，约金；雅各布森，莫顿；雅各布森，拉丝；Jø恩森，肯尼斯·伊尔克；米ø勒尔，米凯尔·哈克ær；吉隆坡ří: TCTL保护从时间弧Petri网到时间自动机网络的转换（2014）
5. 方塔纳，彼得；克里夫兰，兰斯：证明的力量：时间自动机模型检验的新算法（2014）
6. 方塔纳，彼得；克里夫兰，兰斯：时间自动机的动物园（2014）
7. 朗，法国édé风险投资委员会；Mateescu，Radu:使用标记过渡系统和布尔方程系统网络的部分模型检查（2013）
8. 蒂莫，奥马尔·兰德里·恩古纳；Reynier，Pierre Alain:关于事件记录自动机的特征公式（2013）
9. Waez，医学博士Tawhid Bin；迪格尔，尤尔根；鲁迪，凯伦：用于实时系统开发的时间自动机综述（2013）
10. 丙酮，卢卡；伯吉斯森，阿纳尔；英ólfsd公司ó蒂尔，安娜；Mousavi，Mohammadeza:关于并行过程历史的分解推理（2012）
11. 布耶，帕特里夏；卡塞兹，弗朗克；拉鲁西尼，弗兰ç实时系统的定时模态逻辑。规范、验证和控制（2011）
12. 雅各布森，拉丝；雅各布森，莫顿；米ø勒，米凯尔·H。；吉隆坡ří: 时间弧Petri网的验证（2011）
13. Larsen，Kim Guldstrand:时间自动机的符号和组合可达性（2010）
14. 博尼奥尔，法国édé风险投资委员会；埃尔蒙特，Jérô我；Pagetti，Claire:具有抢占权的实时系统验证：正负结果（2009）ioport公司
15. 吉隆坡ří: 时间自动机与Petri网时间扩展的表达能力比较（2008）
16. Cassez，Franck:部分可观测时间博弈的有效动态算法（2007）
17. 卡塞兹，弗朗克；大卫，亚历山大；拉森，金G。；石灰，石灰；拉斯金，让·弗兰ç基于定时观察和口吃策略（2007）
18. 迪尔克斯，亨宁；库普费希米德，塞巴斯蒂安；Larsen，Kim G.：时间自动机的自动抽象精化（2007）
19. 卡塞纳克，弗朗索瓦；Boniol，Frederic:基于抽象方法验证分布式嵌入式系统的正式框架（2006）ioport公司
20. 卡塞兹，弗朗克；查坦，托马斯；Jard，Claude:时间自动机网络的符号展开（2006）