Communication Dans Un Congrès Année : 2019

Dates et versions

hal-02397876 , version 1 (15-02-2025)

Licence

Identifiants

Citer

Pierre Boutillier, Ioana Cristescu, Jérôme Feret. Counters in Kappa: Semantics, Simulation, and Static Analysis. ESOP 2019 - 28th European Symposium on Programming, Apr 2019, Prague, Czech Republic. pp.176-204, ⟨10.1007/978-3-030-17184-1_7⟩. ⟨hal-02397876⟩
484 Consultations
263 Téléchargements

Altmetric

Partager

  • More