Pages that link to "Item:Q1176112"
From MaRDI portal
The following pages link to Factorisation of finite state machines under strong and observational equivalences (Q1176112):
Displaying 5 items.
- An improvement of algorithms for solving interface equations (Q293354) (← links)
- Using logic to solve the submodule construction problem (Q2377376) (← links)
- Progressive solutions to a parallel automata equation (Q2508960) (← links)
- Progressive Solutions to a Parallel Automata Equation (Q3564943) (← links)
- Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution (Q5962026) (← links)
