No label defined (Q4782023)
From MaRDI portal
scientific article; zbMATH DE number 1836354
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1836354 |
Statements
2000
0 references
automata networks
0 references
Kronecker representation
0 references
equivalence
0 references
reachability analysis
0 references
ordered natural decision diagrams
0 references
composed automaton
0 references
bisimulation equivalence
0 references