react.cs.uni-sb.de

     
Professor at the Universität des Saarlandes, Saarbrücken, Germany working on the verification and synthesis of reactive systems.

URLs from react.cs.uni-sb.de: