School Seminar Series

Modal Kleene Algebras: Foundations, Models, Automation

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