19612a Practice seminar

WiSe 12/13: Modelchecking

Marcel Kyas

Information for students

Veranstaltung findet in der ersten Hälfte des Semesters statt.

9 Class schedule

Regular appointments

Thu, 2012-10-18 14:00 - 16:00

Lecturers:
Prof. Dr. Marcel Kyas

Location:
049/T9 Seminarraum (Takustr. 9)

Thu, 2012-10-25 14:00 - 16:00

Lecturers:
Prof. Dr. Marcel Kyas

Location:
049/T9 Seminarraum (Takustr. 9)

Thu, 2012-11-01 14:00 - 16:00

Lecturers:
Prof. Dr. Marcel Kyas

Location:
049/T9 Seminarraum (Takustr. 9)

Thu, 2012-11-08 14:00 - 16:00

Lecturers:
Prof. Dr. Marcel Kyas

Location:
049/T9 Seminarraum (Takustr. 9)

Thu, 2012-11-15 14:00 - 16:00

Lecturers:
Prof. Dr. Marcel Kyas

Location:
049/T9 Seminarraum (Takustr. 9)

Thu, 2012-11-22 14:00 - 16:00

Lecturers:
Prof. Dr. Marcel Kyas

Location:
049/T9 Seminarraum (Takustr. 9)

Thu, 2012-11-29 14:00 - 16:00

Lecturers:
Prof. Dr. Marcel Kyas

Location:
049/T9 Seminarraum (Takustr. 9)

Thu, 2012-12-06 14:00 - 16:00

Lecturers:
Prof. Dr. Marcel Kyas

Location:
049/T9 Seminarraum (Takustr. 9)

Thu, 2012-12-13 14:00 - 16:00

Lecturers:
Prof. Dr. Marcel Kyas

Location:
049/T9 Seminarraum (Takustr. 9)

Subjects A - Z