Skip to Main content Skip to Navigation
Book sections

Noetherian Spaces in Verification

Jean Goubault-Larrecq 1
1 LSV - Laboratoire Spécification et Vérification
Document type :
Book sections
Complete list of metadata
https://hal.inria.fr/hal-03191258
Contributor : Jean Goubault-Larrecq <>
Submitted on : Wednesday, April 7, 2021 - 8:46:23 AM
Last modification on : Friday, April 9, 2021 - 3:33:13 AM

Links full text

openaccess

Identifiers

Collections

INSMI | CNRS | ENS-CACHAN | ENS-PARIS-SACLAY

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

9

 

Contact                    Legal Notice                    Personal Data