Es gibt eine anstehende geplante Wartung des ZIM am 27.11.1024 ab 16:00 Uhr, die diesen Dienst beeinträchtigt: Details hier.

Jul 10 – 14, 2023
Heinz Nixdorf MuseumsForum (HNF)
Europe/Berlin timezone

Context-Bounded Analysis of Concurrent Programs

Jul 13, 2023, 9:00 AM
1h
Auditorium (HNF)

Auditorium

HNF

Speaker

Rupak Majumdar

Presentation materials