Welzel-Mohr, Christoph
Inductive Statements for Regular Transition Systems
2024
Dissertation
203 Seiten

Ayikudi Ramachandrakumar, Balasubramanian
Computational Complexity of Verifying Parameterized Systems
2024
Dissertation
208 Seiten