Accéder directement au contenu Accéder directement à la navigation
Autre publication

Static analysis of incremental propagation graphs with process algebra

Type de document :
Autre publication
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-02715065
Contributeur : Okina Université d'Angers <>
Soumis le : lundi 1 juin 2020 - 19:56:49
Dernière modification le : vendredi 10 juillet 2020 - 10:52:02

Identifiants

  • HAL Id : hal-02715065, version 1
  • OKINA : ua17611

Collections

Citation

Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion. Static analysis of incremental propagation graphs with process algebra. 2018. ⟨hal-02715065⟩

Partager

Métriques

Consultations de la notice

24