共 50 条
- [1] Pattern Formation by Collective Behavior of Competing Cellular Automata-Based Agents CELLULAR AUTOMATA, ACRI 2024, 2024, 14978 : 34 - 44
- [3] Automata-Based Termination Proofs IMPLEMENTATION AND APPLICATION OF AUTOMATA, PROCEEDINGS, 2009, 5642 : 165 - +
- [5] Automata-based confidentiality monitoring ADVANCES IN COMPUTER SCIENCE - ASIAN 2006: SECURE SOFTWARE AND RELATED ISSUES, 2007, 4435 : 75 - +
- [9] Automata-Based CSL Model Checking Automata, Languages and Programming, ICALP, Pt II, 2011, 6756 : 271 - 282