TY - CONF AU - Li, Tian AU - Park, Gyunam AU - van der Aalst, Wil M. P. TI - Checking Constraints for Object-Centric Process Executions VL - 503 CY - Cham, Switzerland PB - Springer M1 - RWTH-2024-08712 T2 - Lecture notes in business information processing SP - 392-405 PY - 2024 T2 - 8. International Workshop on Process Querying, Manipulation, and Intelligence CY - 23 Oct 2023 - 23 Oct 2023, Rome (Italy) Y2 - 23 Oct 2023 - 23 Oct 2023 M2 - Rome, Italy LB - PUB:(DE-HGF)7 ; PUB:(DE-HGF)8 UR - <Go to ISI:>//WOS:001267849000031 DO - DOI:10.1007/978-3-031-56107-8_30 UR - https://publications.rwth-aachen.de/record/993407 ER -