Department Seminar Series
Modal Kleene Algebras: Foundations, Models, Automation
23rd October 2007, 16:00
Dr Georg Struth
Department of Computer Science, University of Sheffield, UK
Maintained by Othon Michail