Detailseite
Person
Dr. Karin Quaas
Adresse
Universität Leipzig
Institut für Informatik
Abteilung Algebraische und logische
Grundlagen der Informatik
Augusteum A-424
04109 Leipzig
-
Als Antragstellerin
-
laufende Projekte
-
Temporale Logiken über endlichen Wörtern und der Präfixordnung (Sachbeihilfen)
-
-
abgeschlossene Projekte
-
Verifikation von gewichteten Zeitautomaten (Sachbeihilfen) -
Temporale Logiken mit Constraints (Sachbeihilfen)
-
-
laufende Projekte
