Pages that link to "Item:Q1905221"
From MaRDI portal
The following pages link to Resolution approach to testing compatibility of interacting automata (Q1905221):
Displaying 6 items.
- Harmonization of interacting automata (Q904417) (← links)
- Resolution-based approach to compatibility analysis of interacting automata (Q1127549) (← links)
- General method of testing the compatibility of interacting automata with finite memory (Q1582909) (← links)
- Consistency test for simple specifications of automaton systems (Q1905143) (← links)
- Determinization of logical specifications of automata (Q1907766) (← links)
- Separable resolution method for checking the satisfiability of formulas in the language \({\mathfrak L}\) (Q1968528) (← links)