Modal Kleene Algebras: Foundations, Models, Automation

23^rd October 2007, 16:00
Dr Georg Struth
Department of Computer Science, University of Sheffield, UK