This page shows all presentations of this author published in EasyChair Smart Slide.
Computing Reachable Simulations on Transition Systems
Pierre Ganty, Nicolas Manini and Francesco Ranzato