Verification and Synthesis of reactive systems
TUM School of Computation, Information and Technology
Business card at TUMonline
If you wish your profile to be changed or updated please contact Franz Langer.
Attention: JavaScript deactivated Please activate JavaScript to be able to use all website functions such as site search!