Concurrent parameterized games - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2019

Concurrent parameterized games

Fichier principal
Vignette du fichier
fsttcs19.pdf (599.01 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-02351236 , version 1

Cite

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⟩
90 View
227 Download

Share

Gmail Facebook X LinkedIn More