Skip to Main content Skip to Navigation
New interface


...
tel-00643595v1  Habilitation à diriger des recherches
Florent Jacquemard. Extended Tree Automata Models for the Verification of Infinite State Systems
Formal Languages and Automata Theory [cs.FL]. École normale supérieure de Cachan - ENS Cachan, 2011