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:
URL: http://react.cs.uni-sb.de/index.php?id=27 URL: http://react.cs.uni-sb.de
Queries: