Fred Kröger

Extra-Ordinarius

Abteilung:

Lehr- und Forschungseinheit für Programmierung und Softwaretechnik

Institut für Informatik

Ludwig-Maximilians-Universität München

Büro:

Oettingenstr. 67

Zimmer 054

Forschungsgebiet:

Temporale Logik und ihre Anwendungen

Theorie paralleler Programme

Vorlesungsskripten:

Einführung in die Informatik: Systeme und Anwendungen

Informatik I (WiSe 2005/06, PS, pdf)

Temporale Logik und Zustandssysteme

Anschrift:

Institut für Informatik

Universität München

Oettingenstr. 67

D-80538 München

Germany

Tel: ++49 89 2180 - 9150

Fax: ++49 89 2180 - 9152 od. -9175

Fax : ++49 89 2180 - 9147 (Prüfungsausschuß)

Email: kroeger@informatik.uni-muenchen.de

URL: http://www.pst.informatik.uni-muenchen.de/personen/kroeger/