Noetherian Spaces in Verification - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2010

Noetherian Spaces in Verification

Fichier principal
Vignette du fichier
noeth-hal.pdf (265.22 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03191258 , version 1 (10-06-2021)

Identifiants

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⟩
11 Consultations
35 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More