BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:'Model Checking Partial State Spaces with 3-Valued Temporal Logics
 '\, Bruns & Godefroid - Nir Piterman (Imperial College London)
DTSTART:20091118T110000Z
DTEND:20091118T123000Z
UID:TALK20063@talks.cam.ac.uk
CONTACT:Mike Dodds
DESCRIPTION:http://dx.doi.org/10.1007/3-540-48683-6_25\n
LOCATION:FW11\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR