Logiken für lineare Zeit | SciPort RLP

Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Logiken für lineare Zeit

Laufzeit: 01.01.1997 - 31.12.1999

Partner: Prof. Etienne Grandjean, Universite Caen, FR

Förderkennzeichen: 312/pro-gg

Förderung durch: DAAD

Kurzfassung

Nicht verfügbar

Projektteam

Clemens Lautemann
Mitarbeiter/in
(Institut für Informatik)

Beteiligte Einrichtungen