Vertiefungsbereich Theoretische Informatik
Name
Course Type
Name
Credits
ID
Model Checking
(
) Vorlesung
Introduction to Model Checking
6
474525
(
) Übung
Introduction to Model Checking
0
474235