Nie jesteś zalogowany | Zaloguj się

PL /
EN

Konferencja: Computer Aided Verification

Liczba publikacji: 1

2023

Piotr Hofman , Filip Mazowiecki, Philip Offtermatt, Fast Termination and Workflow Nets, 35th International Conference on Computer Aided Verification, Paris, France, 17 lipca 2023 - 22 lipca 2023. Zobacz w PBN