Jump to navigation
Processes and Data
College of Science
-
Computer Science
Home
Diary
2013
2012
2011
2009 - 2010
2008 - 2009
2007 - 2008
2006 - 2007
People
Group Members
Partners
Research
Grants
Publications
Seminars
Tools
CSP-Prover
Kandroid
OnTrack
Timed-CSP Simulator
Models
Projects
Cherish-DE
Acid
Ditto
SafeCap
Processes and Data
Diary Entry: 2006-09-04 00:00:00 - 2006-09-04 00:00:00
Group Meeting: Markus gives the presentation "Overview on CSP".