bn:03861024n
Noun Concept
Categories: Model checking, Finite automata
EN
Muller automaton
EN
In automata theory, a Muller automaton is a type of an ω-automaton. Wikipedia
Definitions
Relations
Sources
EN
In automata theory, a Muller automaton is a type of an ω-automaton. Wikipedia
DISCOVERER OR INVENTOR
NAMED AFTER
Wikipedia
Wikidata