模态µ-演算无交替片段的特征定理| IEEE会议出版物| IEEE Xplore