Project Details
Person
Dr. Karin Quaas
Address
Universität Leipzig
Institut für Informatik
Abteilung Algebraische und logische
Grundlagen der Informatik
Augusteum A-424
04109 Leipzig
-
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)
-
-
Current projects
