Nie jesteś zalogowany |
Powrót do listy instytutów
Publikacje
Konferencja: Computer Aided Verification
Liczba publikacji: 32025
- Aliaume Lopez , Rafał Stefański , Polyregular Model Checking, Computer Aided Verification 2025, Zagreb, Croatia, 23 lipca 2025 - 25 lipca 2025, 15933 2025, s. 3-25. Zobacz w PBN
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
2022
- Filip Mazowiecki , Philip Offtermatt, Michael Blondin, Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations, Computer Aided Verification - 34th International Conference, Haifa, Israel, 7 sierpnia 2022 - 10 sierpnia 2022. Zobacz w PBN
