一种基于扩展不完全Kripke结构的三值逻辑模型检测方法

刘姣，雷丽晖

A threevalued logic model checking approach based
on extensional partial Kripke structure

LIU Jiao,LEI Lihui

计算机工程与科学 . 2015, (10): 1884 -1889 .