You are not logged in |
Back to the list of the institutes
Publications
Conference: Computer Aided Verification
Number of publications: 32025
- Aliaume Lopez , Rafał Stefański , Polyregular Model Checking, Computer Aided Verification 2025, Zagreb, Croatia, 23 July 2025 - 25 July 2025, 15933 2025, p. 3-25. See in PBN
2023
- Piotr Hofman , Filip Mazowiecki , Philip Offtermatt, Fast Termination and Workflow Nets, 35th International Conference on Computer Aided Verification, Paris, France, 17 July 2023 - 22 July 2023. See in 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 August 2022 - 10 August 2022. See in PBN
