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

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