zbMATH中的参考文献（参考文献32条,1标准件)

1. 拉瓦艾，阿博法兹；哈立德，马哈茂德；苏加尼，萨德格；Zamani，Majid:AMYTISS:大型随机系统自动控制器综合的并行化工具（2020）
2. 高基，纳撒利；Abate，Alessandro:海报摘要：StocHy——随机过程的自动验证和综合(2019年）
3. 拜尔，克里斯特尔；德阿尔法罗，卢卡；弗雷特，沃伊特ěch；Kwiatkowska，Marta:模型检验概率系统（2018）
4. 布耶，帕特里夏；布里海伊，托马斯；卡莱尔，皮埃尔；Menet，Quentin:随机时间自动机的组合设计（2016）
5. Garavel，Hubert:重温过程计算中的顺序组合（2015）
6. 拉特拉，迭戈；马辛克，麦基；de Vink，Erik P.：标记态到功能转换系统的协同模拟（2015）
7. Gómez，Rodolfo:带截止期的模型检验时间自动机与Uppaal（2013）
8. 哈恩，恩斯特莫里茨；哈特曼，阿恩德；赫尔曼，霍尔格；Katoen，Joost Pieter:随机混杂系统的组合建模与分析框架（2013）
9. 诺曼，格钦；帕克，大卫；Sproston，Jeremy:概率时间自动机的模型检验（2013）
10. D'Argenio，佩德罗·R。；桑切斯特拉夫，佩德罗；Wolovick，Nicolás:非确定性标记马尔可夫过程的双模拟（2012）
11. 卡托恩，乔斯特·皮尔特；范德波尔，雅科；斯托琳加，玛丽埃尔；Timmer，Mark:概率自动机数据的线性过程代数格式（2012）
12. 马尔科夫斯基，J。；达尔吉诺，P。R、 。；贝顿，J。C。M、 。；德文克，E。P、 ：调和实时和随机时间：概率细化的需要（2012）
13. 菲茨克，阿诺；赫尔曼，霍尔格；魏登巴赫，克里斯托夫：基于叠加的一阶概率时间自动机分析（2010）
14. 希尔斯顿，简：集体动力学的过程代数(扩展摘要）（2010）ioport公司
15. 玛德，安吉丽卡；博内坎普，亨里克；雅罗斯拉夫乌森科。；詹森，大卫·N。；约翰·胡林克；Hermanns，Holger:成本最优计划的综合与随机评估（2010）ioport公司
16. 范比克，D。A、 。；库杰珀斯，P。J。五十、 。；马尔科夫斯基，J。；纳达尔·阿古特。E、 。；罗达，J。E、 ：在混合合成环境中协调紧迫性和变量抽象（2010）
17. Gómez，Rodolfo:Uppaal时间自动机的合成翻译（2009）
18. 马科夫斯基，贾森；de Vink，Erik P.：基于离散实随机时间过程代数的分布式系统性能评估（2009）
19. 徐天华；唐涛；高春海；蔡百根：列车控制系统中数据通信系统的可靠性分析（2009）
20. 马科夫斯基，贾森；de Vink，Erik P.：用离散随机时间扩展时间过程代数（2008）