模态转移系统的三值逻辑模型检验

• Three Valued Model Checking on Modal Transition Systems