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