@收款{zbMATH07225122，作者={Donatelli，Susanna and Haddad，Serge}，Title={用于随机模型验证的时间自动机的表达性和简洁性}，BookTitle={语言与自动机理论与应用。第14届国际会议，2020年3月4-6日，意大利米兰，LATA 2020。诉讼}，国际标准图书编号={978-3-030-40607-3；978-3-0.30-40608-0}，页码={170--183}，年份={2020年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-40608-0_11}，关键词={68Q60,68Q45}，zbMATH={7225122}，Zbl={1437.68114}}