Refinement patterns for ASTDs - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Formal Asp. Comput. Année : 2014
Fichier non déposé

Dates et versions

hal-01575321 , version 1 (18-08-2017)

Identifiants

Citer

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⟩

Collections

CNRS LACL UPEC
39 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More