Gäste 2022

Name	Forschungsgebiet	Kontakt
Baier, Christel	modeling, specification and verification of reactive systems, quantitative analysis of stochastic systems, probabilistic model checking, ...	christel.baier@tu-dresden.de Webseite

Letzte Aktualisierung: 19.01.2022

h1