Sufficient conditions for reachability in automata networks with priorities (Q896709)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sufficient conditions for reachability in automata networks with priorities |
scientific article |
Statements
Sufficient conditions for reachability in automata networks with priorities (English)
0 references
10 December 2015
0 references
discrete networks
0 references
abstract interpretation
0 references
reachability
0 references
qualitative models
0 references
systems biology
0 references
0 references
0 references
