BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//hacksw/handcal//NONSGML v1.0//EN
CALSCALE:GREGORIAN
BEGIN:VEVENT
LOCATION:Executive Classroom\, COM2-04-02
DESCRIPTION:For more information: https://events.comp.nus.edu.sg/view/14013
DTSTART:20171027T140000
DTEND:20171027T153000
SUMMARY:Quantitative Model Checking of Distributed Probabilistic Systems
URL;VALUE=URI:https://events.comp.nus.edu.sg/view/14013
DTSTAMP:20260717T132557
UID:6a5a2d65e7ca7
END:VEVENT
END:VCALENDAR