Article Dans Une Revue
Logical Methods in Computer Science
Année : 2012
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03189994
Soumis le : lundi 5 avril 2021-18:19:22
Dernière modification le : vendredi 17 mai 2024-16:22:03
Dates et versions
Identifiants
- HAL Id : hal-03189994 , version 1
- ARXIV : 1208.4549
- DOI : 10.2168/LMCS-8(3:28)2012
Citer
Alain Finkel, Jean Goubault-Larrecq. Forward Analysis for WSTS, Part II: Complete WSTS. Logical Methods in Computer Science, 2012, 8 (3), ⟨10.2168/LMCS-8(3:28)2012⟩. ⟨hal-03189994⟩
Collections
27
Consultations
0
Téléchargements