@收款{zbMATH05688280，作者={Baier，Christel and Hermanns，Holger and Katoen，Joost-Pieter and Wolf，Verena}，标题={Markov}链的比较分支时间语义（扩展抽象）}，BookTitle={CONCUR 2003——并发理论。第14届国际会议，法国马赛，2003年9月3--5日。诉讼}，国际标准图书编号={3-540-40753-7}，页码={492--507}，年份={2003}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/b11938}，关键词={68Q87,60J10,60J20,60J17,68Q60,68Q85}，zbMATH={5688280}，Zbl=｛1274.68264｝}