@InCollection{zbMATH06203468，作者={Leucker，Martin and Somla，Rafal and Weber，Michael}，标题={并行模型检查{{\texttt}}{LTL}、\texttt{CTL}{{\（^*\）}}和{{（L^2_{\mu}\）}}，BookTitle={PDMC 2003。第二届并行和分布式模型检验国际研讨会会议记录（CAV’03卫星研讨会），科罗拉多州博尔德，美国，2003年7月14日}，页码={4--16}，年份={2003}，出版商={阿姆斯特丹：爱思唯尔}，语言={英语}，关键词={68Q60,03B44,68W10}，URL={www.sciencedirect.com/science/article/pii/S1571066105800933}，zbMATH={6203468}，Zbl={1271.68142}}