Refinement patterns for ASTDs

Abstract : no abstract
Type de document :
Article dans une revue
Formal Asp. Comput., 2014, 26 (5), pp.919--941. 〈10.1007/s00165-013-0286-3〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01575321
Contributeur : Régine Laleau <>
Soumis le : vendredi 18 août 2017 - 18:17:53
Dernière modification le : jeudi 11 janvier 2018 - 06:19:29

Identifiants

Collections

Citation

Marc Frappier, Frédéric Gervais, Régine Laleau, Jérémy Milhau. Refinement patterns for ASTDs. Formal Asp. Comput., 2014, 26 (5), pp.919--941. 〈10.1007/s00165-013-0286-3〉. 〈hal-01575321〉

Partager

Métriques

Consultations de la notice

55