Comments on: DFG Research Training Group: Algorithmic Synthesis of Reactive and Discrete-Continuous Systems (AlgoSyn)

Comments on: DFG Research Training Group: Algorithmic Synthesis of Reactive and Discrete-Continuous Systems (AlgoSyn) http://www.algosyn.rwth-aachen.de/wp-publications/tbg09/ hourly 1 http://wordpress.org/?v=3.6.1