Reference change · event page

Correction to: Verification of Data-Aware Processes via Satisfiability Modulo Theories

Published notice on a work cited in the Pith corpus. Exact quotes below. No model judges whether any citation was load-bearing.

This page records that a citing paper's bibliography includes a work with a published notice. It is not a judgment on the citing paper.

Correction Crossref 1 open · 1 total · 0 disputed

DOI: 10.1007/978-3-031-42746-6
Notice DOI: 10.1007/978-3-031-42746-6_15
Event date: 2023-12-18
Machine twin: JSON

01One-hop citing occurrences

Correction Open

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

ref [18] · 2505.15409 · notice #9134 · dispute

Raw extraction · bibliography line

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

Status lifecycle on notices: open → disputed → (response attached on the notice page). Repaired counts matter as much as open counts. There is no “safe,” “invalid,” or “resolved” badge.