%0 Conference Paper %1 conf/rssrail/LeuschelN23 %A Leuschel, Michael %A Nayeri, Nader %B RSSRail %D 2023 %E Milius, Birgit %E Dutilleul, Simon Collart %E Lecomte, Thierry %I Springer %K dblp %P 193-210 %T Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System. %U http://dblp.uni-trier.de/db/conf/rssrail/rssrail2023.html#LeuschelN23 %V 14198 %@ 978-3-031-43366-5

@inproceedings{conf/rssrail/LeuschelN23, added-at = {2023-10-14T00:00:00.000+0200}, author = {Leuschel, Michael and Nayeri, Nader}, biburl = {https://www.bibsonomy.org/bibtex/225242af0f1f044811954a2a161081c66/dblp}, booktitle = {RSSRail}, crossref = {conf/rssrail/2023}, editor = {Milius, Birgit and Dutilleul, Simon Collart and Lecomte, Thierry}, ee = {https://doi.org/10.1007/978-3-031-43366-5_12}, interhash = {6dcb0a8f4b1ef37ac35cd456f1b7e3f6}, intrahash = {25242af0f1f044811954a2a161081c66}, isbn = {978-3-031-43366-5}, keywords = {dblp}, pages = {193-210}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T11:16:54.000+0200}, title = {Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System.}, url = {http://dblp.uni-trier.de/db/conf/rssrail/rssrail2023.html#LeuschelN23}, volume = 14198, year = 2023 }