Citation notice #9134 · 2026-08-07 18:18:05.628332+00:00

Object-centric Processes with Structured Data and Exact Synchronization (Extended Version)

Correction Crossref Open

cites 10.1007/978-3-031-42746-6, which carries a correction notice dated 2023-12-18. One-hop deterministic notice: the citation edge exists in the Pith bibliography graph; no model judged whether the citation was load-bearing.

This is not a judgment on the citing paper.

Citing paper Event page Original DOI Notice DOI File a formal challenge All reference changes

01Evidence

Raw extraction · bibliography line · bibliography index 18

Gianola, A.: Verification of Data-Aware Processes via Satisfiability Modulo Theo- ries, Lecture Notes in Business Information Processing, vol. 470. Springer (2023). https://doi.org/10.1007/978-3-031-42746-6

02Event

Type: Correction
Source: Crossref
Original DOI: 10.1007/978-3-031-42746-6
Notice DOI: 10.1007/978-3-031-42746-6_15
Date: 2023-12-18
Title: Correction to: Verification of Data-Aware Processes via Satisfiability Modulo Theories
Reasons: ['Correction']
Work: - (2023) Lecture notes in business information processing

Schema constants (for re-runners): correction · crossref

03Dispute this notice

If this citation does not depend on the flagged claim, or the event is wrong, say so. Disputes are public. For a signed challenge against the paper itself, use the formal challenge form.