Pith. sign in

Pith Integrity · Reference Change Desk · events-only

Reference changes

See every place this corpus cites a work that was later retracted, corrected, withdrawn, or placed under expression of concern: exact quote, event source, and what happened next. No model judges the citation.

A notice on this page means a citing paper's bibliography includes a work with a published scholarly-record event. It is not a judgment on the citing paper.

Scoped to citing paper 2508.16384 · clear

01Events with corpus notices

02One-hop citation notices (secondary index)

Correction Crossref Open
Automata Learning -- Expect Delays!

cites In: Li, Y., Tahar, S · ref [43] · event 2023-12-20 · 2508.16384 · event page · DOI 10.1007/978-981-99-7584-6_4

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