zbMATH中的参考文献（参考文献133篇文章,2标准条款)

1. 哈夫勒娜，沃伊特ěch；霍利克，卢卡什；伦加尔，昂德内伊；Vojnar，Tomš：lazy（\mathrmWSk\mathrmS）决策过程中的自动机术语（2021）
2. 洛丁，克里斯托夫；Thomas，Wolfgang:有限树上的自动机（2021）
3. 哈维伦德，克劳斯；佩利德，多伦；Ulus，Dogan:BDDs的一阶时序逻辑监控（2020）
4. 我，贤承；杰涅夫斯，皮埃尔；杰斯伯特，尼尔斯；Layaïda，Nabil:XML查询的反向类型推理（2020）
5. 兰德维尔，帕特里克；Löding，Christof:带兄弟间约束的Büchi树自动机的投影（2020）
6. 塔巴哈拉，卢卡斯M。；Vardi，Moshe Y.：部分可观测性下的LTLf合成：从理论到实践（2020）
7. 威尔斯，安德鲁·M。；拉希贾尼安，莫泰扎；卡夫拉基，莉迪亚·E。；Vardi，Moshe Y.：（\mathrmLTL_f）概率系统综合（2020）
8. 菲多，汤姆訙；霍利克，卢卡什；伦加尔，昂德内伊；Vojnar，Tomš：WS1S的嵌套反链（2019年）
9. 哈夫勒娜，沃伊特ěch；霍利克，卢卡什；伦加尔，昂德内伊；Vojnar，Tomš：《懒惰（\mathrmWSk\mathrmS）决策过程中的自动机术语》（2019）
10. 潘迪亚，帕里托什K。；Wakankar，Amol:运行时强制防护罩的规范和最佳反应合成（2019）
11. 阿卜杜拉，帕罗什·阿齐兹；西斯特拉，A.普拉萨德；Talupur，Muralidhar:模型检验参数化系统（2018）
12. 艾斯瓦里亚，C。；博利格，贝尼迪克；Gastin，Paul:验证分布式算法的自动机理论方法（2018）
13. 阿夫尼，伙计；Kupferman，Orna:基于组件库的合成与成本（2018）
14. 达尔伯格，阿克塞尔；Wehner，Stephanie:使用单量子比特操作转换图形状态（2018）
15. 德安东尼，洛丽丝；金凯，扎卡里；王方：符号交替有限自动机的符号决策过程（2018）
16. 曼陀罗，恐龙；Pradella，Matteo：《通用输入驱动语言：理论和实践优势》（2018）
17. 费尔德曼，约坦·M·Y。；帕顿，奥德；尼尔，伊梅曼；射手座，情绪低落；Shoham，Sharon:用于检查归纳不变量的有界量词实例化（2017）
18. 菲多，汤姆訙；霍利克，卢卡什；Janků，彼得；伦加尔，昂德内伊；Vojnar，Tomš：WS1S的懒惰自动机技术（2017）
19. 弗鲁姆金，亚西亚；费尔德曼，约坦·M·Y。；洛塔克，昂德涅伊；帕顿，奥德；射手座，情绪低落；Sharon Shoham:证明不存在并发修改错误的属性定向可达性（2017）
20. 海兹曼，马提亚斯；希林，基督徒；Daniel Tischner:使用部分最大SAT最小化可见下推自动机（2017）