Winter Term 1997/98

Lectures

• Verification of concurrent programs.
  Prof. Dr. Willem-Paul de Roever
  Time:

• Verification of hybrid- and realtime systems.
  Yassine Lakhneche
  Time: Dienstag, 9 Uhr c.t.

Exercises and Lab Courses

• Verification of concurrent programs.
  Ulrich Hannemann
  Time:

• Verification of hybrid- and realtime systems.
  Martin Steffen
  Time: Mo, 14:00 st.

• Softwaretechnologie für Ingenieure .
  Prof. Dr. Willem-Paul de Roever
  Time: Dienstag, 9 Uhr ct.

Seminars

• Distributed algorithms .
  Prof. Dr. Willem-Paul de Roever und Mitarbeiter
  Time: