共 50 条
- [41] CWA formalizations in multi-valued logics Journal of Computer Science and Technology, 2001, 16 : 263 - 269
- [42] Multi-valued model checking games AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2005, 3707 : 354 - 369
- [43] Finding Values for Multi-valued Features MECHATRONICS AND APPLIED MECHANICS, PTS 1 AND 2, 2012, 157-158 : 915 - +
- [45] CAMA: A multi-valued satisfiability solver ICCAD-2003: IEEE/ACM DIGEST OF TECHNICAL PAPERS, 2003, : 326 - 333
- [47] Multi-Valued Verification of Strategic Ability AAMAS'16: PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS, 2016, : 1180 - 1189
- [50] Verification of multi-valued logic networks 1996 26TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 1996, : 10 - 15