| 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
|