Dr. Karin Quaas

Address Universität Leipzig
Institut für Informatik
Abteilung Algebraische und logische
Grundlagen der Informatik
Augusteum A-424
04109 Leipzig

Projects

As Applicant
- Current projects
  - Temporal Logics over Finite Strings with the Prefix Order (Research Grants)
- Completed projects
  - Verification of Weighted Timed Automata (Research Grants)
  - Temporal Logics with Constraints (Research Grants)