Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings

Alain Finkel , Jerome LeRoux , Igor Potapov