A Tool-Chain for the Verification of Geographic Scheme Data - Markus Roggenbach (Springer Nature Switzerland, 2023)
Conference series: RSSRail: International Conference on Reliability, Safety, and Security of Railway Systems. Lecture Notes in Computer Science (LNCS, volume 14198)