Recoverable Identifier

arXiv:2604.18532 · detector doi_compliance · incontrovertible · 2026-05-20 03:54:22.230176+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-540-45138-9\_26) 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

Relating Hierarchy of Temporal Properties to Model Checking , author =. Mathematical Foundations of Computer Science 2003, 28th International Symposium,. doi:10.1007/978-3-540-45138-9\_26 , url =

Evidence payload

{
  "printed_excerpt": "Relating Hierarchy of Temporal Properties to Model Checking , author =. Mathematical Foundations of Computer Science 2003, 28th International Symposium,. doi:10.1007/978-3-540-45138-9\\_26 , url =",
  "reconstructed_doi": "10.1007/978-3-540-45138-9\\_26",
  "ref_index": 99,
  "resolved_title": null,
  "verdict_class": "incontrovertible"
}