Skip to contents

  2. Lang, Frederic [Author]

    Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities

    Videos
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

    Published in: 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (Jan. 2021)

  9. Barbarossa, Davide [Author] ; Paris 13 [Contributor]; Manzonetto, Giulio [Contributor]; Tortora de Falco, Lorenzo [Contributor]

    Vers une théorie de l’approximation des programmes basée sur la notion de ressources ; Towards a resource based approximation theory of programs

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2021-12-10