Stefan Dillmann, Reiner Hähnle. Automated Planning of ETCS Tracks. In Simon Collart Dutilleul, Thierry Lecomte, Alexander B. Romanovsky, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings. Volume 11495 of Lecture Notes in Computer Science, pages 79-90, Springer, 2019. [doi]
@inproceedings{DillmannH19,
title = {Automated Planning of ETCS Tracks},
author = {Stefan Dillmann and Reiner Hähnle},
year = {2019},
doi = {10.1007/978-3-030-18744-6_5},
url = {https://doi.org/10.1007/978-3-030-18744-6_5},
researchr = {https://researchr.org/publication/DillmannH19},
cites = {0},
citedby = {0},
pages = {79-90},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
editor = {Simon Collart Dutilleul and Thierry Lecomte and Alexander B. Romanovsky},
volume = {11495},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-18744-6},
}