Concurrent parameterized games
Domaines
Informatique [cs]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...
Communication Dans Un Congrès
Année : 2019
Nathalie Bertrand : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02351236
Soumis le : mercredi 6 novembre 2019-12:31:11
Dernière modification le : mardi 5 novembre 2024-09:44:06
Archivage à long terme le : samedi 8 février 2020-07:11:19
Dates et versions
Identifiants
- HAL Id : hal-02351236 , version 1
Citer
Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar. Concurrent parameterized games. FSTTCS 2019 - 39th IARCS Annual Conference on. Foundations of Software Technology and Theoretical Computer Science, Dec 2019, Bombay, India. pp.1-15. ⟨hal-02351236⟩
Collections
117
Consultations
249
Téléchargements