Skip to Main content Skip to Navigation
New interface


...
tel-00598494v1  Theses
Camille Vacher. Tree automata with global constraints for the verification of security properties
Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2010. English. ⟨NNT : 2010DENS0043⟩