BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//134.96.226.213//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:64653564-3134-4436-a462-386234326433
X-WR-CALNAME:Quantitative Model Checking Calendar
X-WR-CALDESC:Termine der Vorlesung Quantitative Model Checking
X-WR-TIMEZONE:Europe/Berlin
END:VCALENDAR
