Citation notice #8570 · 2026-08-05 18:20:32.776967+00:00
Automata Learning -- Expect Delays!
Correction
Crossref
Open
cites In: Li, Y., Tahar, S, which carries a correction notice dated 2023-12-20. One-hop deterministic notice: the citation edge exists in the Pith bibliography graph; no model judged whether the citation was load-bearing.
Citing paper Event page Original DOI Notice DOI File a formal challenge All reference changes
01Evidence
Raw extraction · bibliography line · bibliography index 43
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
02Event
- Type
- Correction
- Source
- Crossref
- Original DOI
- 10.1007/978-981-99-7584-6_4
- Notice DOI
- 10.1007/978-981-99-7584-6_23
- Date
- 2023-12-20
- Title
- Correction to: Learning Mealy Machines with Local Timers
- Reasons
- ['Correction']
- Work
- In: Li, Y., Tahar, S (2023) Lecture notes in computer science
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.