Pages that link to "Item:Q1907766"
From MaRDI portal
The following pages link to Determinization of logical specifications of automata (Q1907766):
Displaying 7 items.
- Harmonization of automata specifications represented in the language L (Q334231) (← links)
- Determinization of ordinal automata (Q383176) (← links)
- Resolution-based approach to compatibility analysis of interacting automata (Q1127549) (← links)
- Construction of an automaton from a formula of the monadic first-order theory of natural numbers (Q1407164) (← links)
- Synthesis of a nondeterministic automaton from its logical specification. II (Q1816006) (← links)
- On an approach to functional specification of automata systems. III (Q1842385) (← links)
- Sufficient conditions of optimality of the automaton part of the logical-dynamical system (Q1951908) (← links)