VIDEOTORIUM
Toggle navigation
Kategóriák
Csatornák
Élő közvetítések
Bejelentkezés
Register
×
Close
Bejelentkezés
E-mail cím
*
Jelszó
*
Bejelentkezés
Shibboleth Login
eduID bejelentkezés
Google bejelentkezés
Facebook bejelentkezés
Regisztráció
|
Elfelejtett jelszó
×
Close
Register
Felhasználónév
*
E-mail cím
*
*
Jelszó
*
Jelszó megerősítése
*
CAPTCHA
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.
Math question
*
3 + 5 =
Új fiók létrehozása
English
Magyar
Keresés
Keresés
Thomas Henzinger
Thomas Henzinger
Névjegyek
Ecole Polytechnique Fédérale de Lausanne
Fényképek
Model checking, theorem proving, and abstract
kifu
Thomas Henzinger
14 éve - 41:21