@收款{zbMATH07691354，作者={Randone，Francesca and Bortolussi，Luca and Tribastone，Mirco}，Title={长跳少跳：用{{\（h\）}}-scaling}改进动态边界投影，BookTitle={系统的定量评估。第19届国际会议，QEST 2022，波兰华沙，2022年9月12-16日。诉讼}，ISBN＝{978-3-031-16335-7；978-3-031-16336-4}，页码={150--170}，年份={2022}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-031-16336-4_8}，关键词={60J20}，zbMATH={7691354}，Zbl={1523.60129}}