scientific article; zbMATH DE number 1836354
From MaRDI portal
Publication:4782023
zbMath1036.93044MaRDI QIDQ4782023
Publication date: 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
equivalencereachability analysisautomata networksbisimulation equivalenceKronecker representationordered natural decision diagramscomposed automaton
Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) System structure simplification (93B11) Attainable sets, reachability (93B03)