Diary Entry: 2006-11-24 00:00:00 - 2006-11-24 00:00:00

Gift gives the talk "Model Checking Live Sequence Charts (A Report on the paper)" in the No Grownups Seminar.