共 50 条
- [31] A Direct Algorithm for Multi-valued Bounded Model Checking [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2008, 5311 : 80 - 94
- [33] Multi-valued logic handoff algorithm for cellular systems [J]. 18TH INTERNATIONAL CONFERENCE OF THE NORTH AMERICAN FUZZY INFORMATION PROCESSING SOCIETY - NAFIPS, 1999, : 655 - 659
- [34] Simplification of non-deterministic multi-valued networks [J]. IEEE/ACM INTERNATIONAL CONFERENCE ON CAD-02, DIGEST OF TECHNICAL PAPERS, 2002, : 557 - 562
- [35] Partial Stability and Stabilization of Multi-valued Logical Networks [J]. 2014 33RD CHINESE CONTROL CONFERENCE (CCC), 2014, : 6043 - 6047
- [36] Controllability Analysis of Multi-valued Logical Control Networks [J]. PROCEEDINGS OF THE 31ST CHINESE CONTROL CONFERENCE, 2012, : 237 - 242
- [38] Equivalences in Multi-valued Asynchronous Models of Regulatory Networks [J]. CELLULAR AUTOMATA: 11TH INTERNATIONAL CONFERENCE ON CELLULAR AUTOMATA FOR RESEARCH AND INDUSTRY, 2014, 8751 : 571 - 575
- [39] System Decompositions of Multi-valued Boolean Control Networks [J]. 2015 34TH CHINESE CONTROL CONFERENCE (CCC), 2015, : 151 - 156
- [40] Fault simulation in Sequential Multi-Valued Logic Networks [J]. 27TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC - 1997 PROCEEDINGS, 1997, : 145 - 150