Skip to Main content Skip to Navigation
Conference papers

Concurrent parameterized games

Nathalie Bertrand 1 Patricia Bouyer 2 Anirban Majumdar 2, 1
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
2 LSV - Laboratoire Spécification et Vérification [Cachan]
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
https://hal.inria.fr/hal-02351236
Contributor : Nathalie Bertrand <>
Submitted on : Wednesday, November 6, 2019 - 12:31:11 PM
Last modification on : Tuesday, March 30, 2021 - 12:12:08 PM
Long-term archiving on: : Saturday, February 8, 2020 - 7:11:19 AM

File

Vignette du document
fsttcs19.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02351236, version 1

Collections

ENS-CACHAN | UNIV-RENNES1 | CNRS | CENTRALESUPELEC | INRIA | UNIV-RENNES | IRISA | UR1-UFR-ISTIC | INSA-RENNES | ENS-PARIS-SACLAY

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

132

Files downloads

582

 

Contact                    Legal Notice                    Personal Data