Concurrent parameterized games - Laboratoire Méthodes Formelles
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 : mardi 5 novembre 2024-09:44:06

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
117 Consultations
249 Téléchargements

Partager

More