Dr. Karin Quaas

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

Projekte

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)