TY  - RPRT
TI  - Alloy-Driven Verification of Object-Centric Event Data: From Temporal Logic to Knowledge Graphs
AU  - Saba Latif
AU  - Huma Latif
AU  - Touseef Ur Rehman
AU  - Muhammad Rameez Ur Rahman
PY  - 2025
UR  - https://arxiv.org/abs/2511.07263
ID  - 2511.07263
ER  -