Reference change · event page

In: Li, Y., Tahar, S

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-981-99-7584-6_4
Notice DOI: 10.1007/978-981-99-7584-6_23
Event date: 2023-12-20
Machine twin: JSON

01One-hop citing occurrences

Correction Open

Automata Learning -- Expect Delays!

ref [43] · 2508.16384 · notice #8570 · dispute

Raw extraction · bibliography line

Kogel, P., Kl¨ os, V., Glesner, S.: Learning Mealy Machines with Local Timers. In: Li, Y., Tahar, S. (eds.) Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Bris bane, QLD, Aus- tralia, November 21-24, 2023, Proceedings. Lecture Notes in Computer Science, vol. 14308, pp. 47–64. Springer (2023). https://doi.org/10.10 07/978-981-99-7584-6 4, https://doi.org/10.1007/978-981-99-7584-6_4

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.