Noetherian Spaces in Verification
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Chapitre D'ouvrage
Année : 2010
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03191258
Soumis le : jeudi 10 juin 2021-09:07:06
Dernière modification le : vendredi 17 mai 2024-16:22:03
Archivage à long terme le : samedi 11 septembre 2021-18:11:13
Citer
Jean Goubault-Larrecq. Noetherian Spaces in Verification. Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP'10) -- Part II, volume 6199 of Lecture Notes in Computer Science, Bordeaux, France, July 2010. Springer, pp.2-21, 2010, ⟨10.1007/978-3-642-14162-1_2⟩. ⟨hal-03191258⟩
Collections
23
Consultations
56
Téléchargements