Pages that link to "Item:Q5897694"
From MaRDI portal
The following pages link to Implementation and Application of Automata (Q5897694):
Displayed 5 items.
- Using algebraic models of programs for detecting metamorphic malwares (Q549466) (← links)
- Inclusion problem in algebraic models of programs with constants (Q926618) (← links)
- Scheme inclusion verification algorithm in algebraic model of programs with constants (Q927457) (← links)
- Automaton semigroup models of programs (Q2371659) (← links)
- Program equivalence checking by two-tape automata (Q2452753) (← links)