Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations

von Blondin, Michael
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 2 (2022)

Directed Reachability for Infinite-State Systems

von Blondin, Michael
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)