You are not logged in |
Back to the list of the institutes
Publications
Conference: Computer Aided Verification
Number of publications: 22023
- 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
