玛丽亚·马克西莫娃;斯文·施奈德;霍尔格·吉斯 区间概率时间图变换系统。 （英语） Zbl 1492.68071号 Gadducci，Fabio（编辑）等人，《图形变换》。2021年6月24日至25日，第14届国际会议，ICGT 2021，作为STAF 2021虚拟活动的一部分举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12741, 221-239 (2021).MSC公司：2012年第68季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Maximova}等人，Lect。注释计算。科学。12741、221--239（2021；Zbl 1492.68071） 全文： 内政部 链接
玛丽亚·马克西莫娃;斯文·施奈德;霍尔格·吉斯 概率时间图变换系统的组成分析。 （英语） Zbl 1467.68090号 Guerra，Esther（ed.）等人，软件工程的基本方法。第24届国际会议，FASE 2021，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12649, 196-217 (2021).MSC公司：60年第68季度 2012年第68季度 93甲15 93B70型 PDF格式BibTeX公司 XML格式引用 \textit{M.Maximova}等人，Lect。注释计算。科学。12649196-217（2021；Zbl 1467.68090） 全文： 内政部 OA许可证