共 50 条
- [24] Automaton-Based Criteria for Membership in CTL LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 2018, : 155 - 164
- [25] A Novel Network Behavior Model Based on Generalized Cellular Automaton ADVANCED INTELLIGENT COMPUTING THEORIES AND APPLICATIONS, PROCEEDINGS: WITH ASPECTS OF ARTIFICIAL INTELLIGENCE, 2008, 5227 : 790 - 798