This page shows all presentations of this author published in EasyChair Smart Slide.
Monadic Second-Order Model Checking with Fly-Automata
Bruno Courcelle and Irène Durand