扩展Tempura 语言统一模型检测算法

朱维军周清雷张海宾

Model Checking Algorithm of Extended Tempura Language in Unified Logical Framework

Zhu Wei-jun Zhou Qing-lei Zhang Hai-bin

华南理工大学学报（自然科学版） . 2011, (7): 163 -168 . DOI: 10.3969/j.issn.1000-565X.2011.07.027