基于双格的多值模型的精化关系与对称化简

基于双格的多值模型的精化关系与对称化简

陈娟娟，魏欧，黄志球，陈哲

Refinement and symmetry reduction of bilattice-based multi-valued models

CHEN Juanjuan, WEI Ou, HUANG Zhiqiu, CHEN Zhe

计算机工程与应用 . 2013, (22): 40 -45 .