TY  - RPRT
TI  - From Sound Workflow Nets to LTLf Declarative Specifications by Casting Three Spells
AU  - Luca Barbaro
AU  - Giovanni Varricchione
AU  - Marco Montali
AU  - Claudio Di Ciccio
PY  - 2025
DO  - 10.1007/978-3-032-02929-4_1
UR  - https://arxiv.org/abs/2504.05114
ID  - 2504.05114
ER  -