Projektseminar: Model-Checking mit Baumautomaten (Wintersemester 2023/24)
Veranstaltung im Wintersemester 2023/24 an der Universität Münster
Veranstalter: Prof. Dr. Markus Müller-Olm, Christoph Ohrem
Eintrag für diese Veranstaltung im HIS/LSF
Hinweise
Inhalt und Thema dieses Projektseminars wurden in der globalen (Projekt-) Seminarvorstellung des Instituts für Informatik und in einer separaten Einzelveranstaltung vorgestellt. Auch die Anmeldung erfolgte über das globale Anmeldeverfahren des Instituts für Informatik zu Projektseminaren. Die weitere Kommunikation mit den Teilnehmern erfolgt per E-Mail und über den GitLab-Bereich, der für das Projektseminar eingerichtet wurde.