Loading...
Sous-collection du département 2 : Méthodes formelles
Pour toute question ou remarque au sujet de cette collection, veuillez nous contacter à publications@loria.fr
Derniers Dépôts
-
Bernard Boigelot, Pascal Fontaine, Baptiste Vergain. Non-emptiness Test for Automata over Words Indexed by the Reals and Rationals. CIAA 2024 - 28th International Conference on Implementation and Application of Automata, Sep 2024, Akita, Japan. pp.94-108, ⟨10.1007/978-3-031-71112-1_7⟩. ⟨hal-04896026⟩