title | Quasi-synchronous communications and verification of distributed systems |
---|---|
start_date | 2024/02/29 |
schedule | 12h |
online | no |
location_info | Salle B107, bât. B |
details | Séminaire Love |
responsibles | Lacroix |
unset title | login |
Quasi-synchronous communications and verification of distributed systems
|