Search results for: Dietrich Kuske
Semigroup Forum > 2017 > 95 > 3 > 475-508
Theory of Computing Systems > 2017 > 60 > 4 > 695-736
Theory of Computing Systems > 2017 > 60 > 3 > 438-472
Lecture Notes in Computer Science > STACS 2001 > Contributions > 443-454
Lecture Notes in Computer Science > STACS 95 > 467-478
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Automata and Logic > 322-336
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model-Checking > 510-525