Forschungstreffen 21043
Probabilistic Verification Postponed
( 24. Jan – 29. Jan, 2021 )
Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite:
https://www.dagstuhl.de/21043
Ersetzt durch
Forschungstreffen 22154:
Probabilistic Verification
(2022-04-10 - 2022-04-14)
(Details)
Organisator
- Thomas Noll (RWTH Aachen University, DE)
Kontakt
- Heike Clemens (für administrative Fragen)