共 50 条
- [43] Graph Automata: The Algebraic Properties of Abelian Relational Graphoids ALGEBRAIC FOUNDATIONS IN COMPUTER SCIENCE: ESSAYS DEDICATED TO SYMEON BOZAPALIDIS ON THE OCCASION OF HIS RETIREMENT, 2011, 7020 : 168 - 182
- [47] ALGORITHMS FOR FINDING DIRECTED GRAPH ISOMORPHISMS BY FINITE AUTOMATA INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES, 1980, 9 (02): : 117 - 140
- [48] Constructing the Reaching Region Graph for Timed Automata with PVS INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2006, 6 (7A): : 175 - 181
- [49] The System Verification of Timed Automata Based on Simulation Graph 2012 6TH INTERNATIONAL CONFERENCE ON NEW TRENDS IN INFORMATION SCIENCE, SERVICE SCIENCE AND DATA MINING (ISSDM2012), 2012, : 404 - 409
- [50] Graph-theoretical characterization of invertible cellular automata PHYSICA D, 2000, 141 (1-2): : 1 - 18