Pages that link to "Item:Q673348"
From MaRDI portal
The following pages link to Approximately satisfied properties of systems and simple language homomorphisms (Q673348):
Displayed 3 items.
- Approximately satisfied properties of systems and simple language homomorphisms (Q673348) (← links)
- A power-set construction for reducing Büchi automata to non-determinism degree two (Q845908) (← links)
- Abstraction and composition: a verification method for co-operating systems (Q4783359) (← links)