You are not logged in | Log in

PL /
EN

Conference: Computer Aided Verification

Number of publications: 1

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

European Founds

European Social Found

Initiative of Excellence – Research University

HR Excellence in Research

Integrated Development Programme

Polish National Science Centre

Erasmus Without Paper

Erasmus Without Paper