ICALP
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Noetherian spaces are a topological concept that generalizes well quasiorderings. We explore applications to infinite-state verification problems, and show how this stimu...