User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Search

Displaying 5 results.
    • Speech
    Tree Regular Model Checking for Lattice-Based Automata
    Genet, Thomas Le Gall, Tristan Legay, Axel[UCL] Murat, Valérie (2013) CIAA - 18th International Conference on Implementation and Application of Automata —
    • Speech
    A completion algorithm for lattice tree automata
    Genet, Thomas Le Gall, Tristan Legay, Axel[UCL] Murat, Valérie (2013) CIAA 2013 - 18th International Conference on Implementation and Application of Automata —