[6-23]the mini course on temporal logic

Date:2008-06-18

Title: the mini course on temporal logic

Speaker: Dr. Dimitar P. Guelev

Time: 9:30－11:30 am, June 23, 2008

Venue: Room 336, Building #5