KA
Altisen, Karine
| Title | Published in | Access level | OA Policy | Year | Views | Downloads | |
|---|---|---|---|---|---|---|---|
| Model checking of distributed algorithms using synchronous programs | Theoretical computer science |  | 2025 | 32 | 237 |
Archive ouverte UNIGE
