Pages that link to "Item:Q1905221"
From MaRDI portal
The following pages link to Resolution approach to testing compatibility of interacting automata (Q1905221):
Displayed 3 items.
- General method of testing the compatibility of interacting automata with finite memory (Q1582909) (← 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)