Percorrer por autor Hinrichsen, Jonas Kastberg
Mostrar resultados 1-1 de 1.
| Data | Título | Autor(es) | Tipo | Acesso |
|---|---|---|---|---|
| 30-Ago-2023 | Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols | Gondelman, Léon; Hinrichsen, Jonas Kastberg; Pereira, Mário; Timany, Amin; Birkedal, Lars | article |  |
