Communication Dans Un Congrès
Année : 2017
Sophie Pinchinat : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02533463
Soumis le : lundi 6 avril 2020-14:33:30
Dernière modification le : mardi 27 août 2024-12:51:43
Dates et versions
Identifiants
- HAL Id : hal-02533463 , version 1
Citer
Tristan Charrier. Model Checking Against Arbitrary Public Announcement Logic: A First-Order-Logic Prover Approach for the Existential Fragment. Dynamic Logic: new trends and applications, Sep 2017, Brasilia, Brazil. ⟨hal-02533463⟩
Collections
147
Consultations
0
Téléchargements