共 50 条
- [12] On the Convergence of Boolean Automata Networks without Negative Cycles CELLULAR AUTOMATA AND DISCRETE COMPLEX SYSTEMS, 2013, 8155 : 124 - 138
- [13] Parametrized verification of linear networks using automata as invariants COMPUTER AIDED VERIFICATION, 1997, 1254 : 412 - 423
- [14] Parameterized verification of linear networks using automata as invariants Formal Aspects of Computing, 11 (04): : 402 - 425
- [15] Model Checking Linear Duration Invariants of Networks of Automata FUNDAMENTALS OF SOFTWARE ENGINEERING, 2010, 5961 : 244 - +
- [20] Automata Networks for Memory Loss Effects in the Formation of Linguistic Conventions Cognitive Computation, 2016, 8 : 462 - 466