Introduction to Model Checking: (Mo, 09.01.2012)
Zur Veranstaltungsseite
Aktueller Zeitpunkt 0:00
Dauer -:-
Geladen: 0%
Streamtyp LIVE
Verbleibende Zeit -:-
 
1x
  • Einbetten

Beschreibung:

noch kein Titel