The following pages link to Gal Katz (Q3172929):
Displayed 3 items.
- The Buck Stops Here: Order, Chance, and Coordination in Distributed Control (Q3172930) (← links)
- Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms (Q3540062) (← links)
- Model Checking-Based Genetic Programming with an Application to Mutual Exclusion (Q5458325) (← links)