@文章{zbMATH01635370,作者{爱默生,E.A.和日德拉,C.S.和西斯特拉,A.P.},Title={关于{\(\mu\)}-微积分及其片段的模型检查,FJournal={理论计算机科学},Journal={Theor.Comput.Sci.},ISSN={0304-3975},体积={258},数字={1-2},页数={491--522},年份:{2001},语言{英语},DOI={10.1016/S0304-3975(00)00034-7},关键词={68Q45,03B44},zbMATH={1635370},Zbl={0973.68120}}