Recoverable Identifier

arXiv:2605.21385 · detector doi_compliance · incontrovertible · 2026-05-21 03:03:02.121176+00:00

advisory doi_compliance recoverable_identifier

DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-031-50521-8\_9) was visible in the surrounding text but could not be confirmed against doi.org as printed.

Paper page Integrity report arXiv Try DOI

Evidence text

Tasche, P., Monti, R.E., Drerup, S.E., Blohm, P., Herber, P., Huisman, M.: Deduc- tive verification of parameterized embedded systems modeled in systemc. In: Dim- itrova, R., Lahav, O., Wolff, S. (eds.) Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II. Lecture Notes in Computer Science, vol. 14500, pp. 187–209. Springer (2024). https://doi.org/10.1007/978-3- 031-50521-8“˙9,https://doi.org/10.1007/978-3-031-50521-8\_9

Evidence payload

{
  "printed_excerpt": "Tasche, P., Monti, R.E., Drerup, S.E., Blohm, P., Herber, P., Huisman, M.: Deduc- tive verification of parameterized embedded systems modeled in systemc. In: Dim- itrova, R., Lahav, O., Wolff, S. (eds.) Verification, Model Checking, and Abs",
  "reconstructed_doi": "10.1007/978-3-031-50521-8\\_9",
  "ref_index": 30,
  "resolved_title": null,
  "verdict_class": "incontrovertible"
}