斯特凡·舒普;艾丽卡·阿尔布拉汉姆;特里斯坦·埃伯特 混合系统验证理论和工具支持的最新发展HyPro公司. （英语） 兹伯利07629138 Inf.计算。 289，A部分，文章ID 104945，25 p.（2022）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Schupp}等人，《信息计算》。289，A部分，文章ID 104945，25 p.（2022；Zbl 07629138） 全文： 内政部 OA许可证
卡琳娜·皮尔奇;斯特凡·舒普;安妮·雷姆克 通过流管结构优化一类受限随机混合自动机的可达性概率。 （英语） 兹比尔1491.68102 阿巴特，亚历山德罗（编辑）等人，《系统的定量评估》。第18届国际会议，QEST 2021，巴黎，法国，2021年8月23日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12846, 435-456 (2021).MSC公司：65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Pilch}等人，Lect。注释计算。科学。12846、435--456（2021年；Zbl 1491.68102） 全文： 内政部