Concurrent parameterized games - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Concurrent parameterized games

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
fsttcs19.pdf (599.01 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

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 : mercredi 20 mars 2024-14:27:24

Archivage à long terme le : samedi 8 février 2020-07:11:19

Télécharger pour visualiser

Dates et versions

hal-02351236 , version 1 (06-11-2019)

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA ENS-CACHAN INSA-RENNES IRISA CENTRALESUPELEC INRIA2 UR1-MATH-STIC UNIV-PARIS-SACLAY UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF
91 Consultations
228 Téléchargements

Partager

Gmail Facebook X LinkedIn More