The following pages link to Walid Belkhir (Q485832):
Displayed 7 items.
- Parametrized automata simulation and application to service composition (Q485834) (← links)
- The variable hierarchy for the games \(\mu \)-calculus (Q636308) (← links)
- A symbolic transformation language and its application to a multiscale method (Q2447638) (← links)
- Unification and combination of a class of traversal strategies made with pattern matching and fixed-points (Q2669251) (← links)
- (Q4636284) (← links)
- Undirected Graphs of Entanglement 2 (Q5458861) (← links)
- The Variable Hierarchy for the Lattice μ-Calculus (Q5505584) (← links)