zbMATH参考文献（参考 26篇文章 引用）

1. Kapus，Tatjana:用（\mathrmTLA^+）指定可逆性（2020）
2. Colvin，Robert J.；Hayes，Ian J.；Meinicke，Larissa A.：为具有并发性的广谱语言设计语义模型（2017）
3. Konnov，Igor；Lazić，Marijana；Veith，Helmut；Widder，Josef：容错分布式算法安全性和活性验证的简短反例属性（2017）
4. Konnov，Igor；Veith，Helmut；Widder，Josef：《关于容错分布式算法的模型检查，你一直想知道的》（2016）
5. von Rhein，Alexander；Thüm，Thomas；Schaefer，Ina；Liebig，Jörg；Apel，Sven：《可变性编码：从编译时到加载时的可变性》（2016）
6. Gmeiner，Annu；Konnov，Igor；Schmid，Ulrich；Veith，Helmut；Widder，Josef：容错分布式算法的参数化模型检查教程（2014）
7. 莱斯利·兰波特：《如何写出21世纪的证据》（2012）
8. Li，Guodong；Palmer，Robert；DeLisi，Michael；Gopalakrishnan，Ganesh；Kirby，Robert M.：MPI 2.0的形式化规范：指定一个实用并发编程API的案例研究（2011）
9. 刘晓军；李，A.：时间交互演员网络的CPO语义（2008）
10. 梅斯盖尔，何塞：改写的时间逻辑：一个温和的介绍（2008）
11. Banach，R.；Poppleton，M.；Jeske，C.；Stepney，S.：紧缩的工程和理论基础（2007）
12. Armando，A.；Basin，D.；Boichut，Y.；Chevalier，Y.；Compagna，L.；Cuellar，J.；Hankes-Drielsma，P.；Heám，P.C.；Kouchnarenko，O.；Mantovani，J.；mödersheim，S.；von Oheimb，D.；Rusinowitch，m.；Santiago，J.；Turuani，m.；Viganò，L.；Vigneron，L.：互联网安全协议和应用程序自动验证的Avisa工具（2005年）
13. Schellhorn，Gerhard:ASM精化和数据精化中正向模拟的推广：比较（2005）
14. Daniel Kroneing；Ouakine，Joël；Seshia，Sanjit A.；Strichman，Ofer:基于抽象的Presburger算法的可满足性求解（2004）
15. Florescu，Daniela；Grünhagen，Andreas；Kossmann，Donald:XL：一种用于web服务规范和组合的XML编程语言。（2003年）
16. Stephan Merz；Wirsing，Martin；Zappe，Júlia：用于移动系统规范和优化的时空逻辑（2003）
17. Padberg，J.；Urbášek，M.：基于规则的Petri网精化：调查（2003）
18. Misra，Jayadev：多道程序设计的一门学科。分布式应用程序设计理论（2001）
19. Pazos Arias，JoséJ.；García Duque，Jorge:SCTL-MUS：分布式系统软件开发的正式方法论。案例研究（2001）
20. 瓦尔迪，莫斯伊：分支与线性时间：最终决战（2001）