Three Valued Model Checking on Modal Transition Systems

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