Generalized Synchronization and Intersection Non-Emptiness of Finite-State Automata

Petra Wolf 0002. Generalized Synchronization and Intersection Non-Emptiness of Finite-State Automata. PhD thesis, University of Trier, Germany, 2022. [doi]

Abstract

Abstract is missing.