zbMATH参考文献（参考 118篇文章 参考，2标准条款)

1. Im，Hyeonseung；Genevès，Pierre；Gesbert，Nils；Layaïda，Nabil:XML查询的反向类型推理（2020）
2. 费多尔，汤姆š；霍利克，卢卡什；伦加尔，昂德涅伊；沃伊纳尔，汤姆š：WS1S的嵌套反链（2019年）
3. Havlena，Vojtěch；Holík，Lukš；Lengál，Ondřej；Vojnar，Tomš：《懒惰（\mathrmWSk\mathrmS）决策过程中的自动机术语》（2019年）
4. Abdulla，Parosh Aziz；Sistla，A.Prasad；Talupur，Muralidhar：模型检查参数化系统（2018）
5. Aiswarya，C.；Bollig，Benedikt；Gastin，Paul:分布式算法验证的自动机理论方法（2018）
6. Dahlberg，Axel；Wehner，Stephanie:使用单量子比特操作转换图形状态（2018）
7. Mandrioli，Dino；Pradella，Matteo：《通用输入驱动语言：理论和实践优势》（2018）
8. Frumkin，Asya；Feldman，Yotam M.Y.；Lhoták，Ondřej；Padon，Oded；Sagiv，Mooly；Shoham，Sharon：证明不存在并发修改错误的属性定向可达性（2017年）
9. Unel，Gulay；Toman，David：《基于自动机的决策过程的逻辑编程方法》（2017）
10. Barth，Stephan:用专用有限自动机决定一元二阶逻辑在（\omega）-单词上的应用（2016）
11. Kovásznai，Gergely；Fröhlich，Andreas；Biere，Armin:固定大小位向量逻辑的复杂性（2016）
12. Unel，Gulay:用逻辑编程对一元二阶逻辑进行增量推理（2016）
13. Basin，David；Klaedtke，Felix；Müller，Samuel；Zălinescu，Eugen：监测公制一阶时间特性（2015）
14. Jonathan Heinen；Christina Jansen；Katoen，Joost Pieter；Noll，Thomas:Juggrnaut:使用图语法抽象无界堆结构（2015）
15. Liang，Tianyi；Tsiskaridze，Nestan；Reynolds，Andrew；Tinelli，Cesare；Barrett，Clark：无界字符串上规则成员和长度约束的决策过程（2015）
16. Mesnard，Fred；Payet，Étienne：不终止的二阶公式（2015）
17. Traytel，Dmitriy:WS1S的煤炭决策程序（2015）
18. Traytel，Dmitriy；Nipkow，Tobias:MSO基于正则表达式导数的单词验证决策程序（2015）
19. Veanes，Margus；Bjørner，Nikolaj:符号树自动机（2015）
20. Langer，Alexander；Reidl，Felix；Rossmanith，Peter；Sikdar，Somnath:树分解图上MSO模型检查的实用算法（2014）