Skip to Main content Skip to Navigation
Book sections

Noetherian Spaces in Verification

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

Identifiers

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⟩

Share

Metrics

Record views

9