Recoverable Identifier

arXiv:2605.19668 · detector doi_compliance · incontrovertible · 2026-05-20 04:58:54.333746+00:00

advisory doi_compliance recoverable_identifier

DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.18429/JACoW-ICALEPCS2015-WEPGF092.URLhttps://jacow.org/ICALEPCS2015/papers/WEPGF092.pdf) 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

Dániel Darvas, Enrique Blanco Viñuela, and Borja Fernández Adiego. PLCverif: A tool to verify PLC programs based on model checking techniques. InProceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems, pages 911–914. JACoW Publishing, 2015. doi:10.18429/JACoW- ICALEPCS2015-WEPGF092. URLhttps://jacow.org/ICALEPCS2015/papers/WEPGF092.pdf

Evidence payload

{
  "printed_excerpt": "D\u00e1niel Darvas, Enrique Blanco Vi\u00f1uela, and Borja Fern\u00e1ndez Adiego. PLCverif: A tool to verify PLC programs based on model checking techniques. InProceedings of the 15th International Conference on Accelerator and Large Experimental Physics ",
  "reconstructed_doi": "10.18429/JACoW-ICALEPCS2015-WEPGF092.URLhttps://jacow.org/ICALEPCS2015/papers/WEPGF092.pdf",
  "ref_index": 37,
  "resolved_title": null,
  "verdict_class": "incontrovertible"
}