Skip to Main content Skip to Navigation
Journal articles

Refinement patterns for ASTDs

Marc Frappier 1 Frédéric Gervais 2 Régine Laleau 2 Jérémy Milhau 2
1 Département d'informatique [Sherbrooke]
2 LACL - Laboratoire d'Algorithmique Complexité et Logique
Abstract : no abstract
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-01575321
Contributor : Régine Laleau <>
Submitted on : Friday, August 18, 2017 - 6:17:53 PM
Last modification on : Friday, October 4, 2019 - 1:20:46 AM

Identifiers

Collections

CNRS | UPEC-UPEM | LACL | UPEC

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

119

Contact

Informations

CCSD