Chapitre D'ouvrage
Année : 2009
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03195656
Soumis le : lundi 12 avril 2021-07:45:36
Dernière modification le : mercredi 29 novembre 2023-15:28:04
Citer
Alain Finkel, Jean Goubault-Larrecq. Forward Analysis for WSTS, Part II: Complete WSTS. Proceedings of the 36th International Colloquium on Automata, Languages and Programming (ICALP'09), volume 5556 of Lecture Notes in Computer Science, Rhodes, Greece, July 2009. Springer., pp.188-199, 2009, ⟨10.1007/978-3-642-02930-1_16⟩. ⟨hal-03195656⟩
Collections
11
Consultations
0
Téléchargements