%0 Conference Paper %1 conf/asm/StankaitisIKAIR20 %A Stankaitis, Paulius %A Iliasov, Alexei %A Kobayashi, Tsutomu %A Ameur, Yamine Aït %A Ishikawa, Fuyuki %A Romanovsky, Alexander B. %B ABZ %D 2020 %E Raschke, Alexander %E Méry, Dominique %E Houdek, Frank %I Springer %K dblp %P 203-219 %T Formal Distributed Protocol Development for Reservation of Railway Sections. %U http://dblp.uni-trier.de/db/conf/asm/abz2020.html#StankaitisIKAIR20 %V 12071 %@ 978-3-030-48077-6

@inproceedings{conf/asm/StankaitisIKAIR20, added-at = {2024-02-05T00:00:00.000+0100}, author = {Stankaitis, Paulius and Iliasov, Alexei and Kobayashi, Tsutomu and Ameur, Yamine Aït and Ishikawa, Fuyuki and Romanovsky, Alexander B.}, biburl = {https://www.bibsonomy.org/bibtex/22d5680d9e49c5039306e5619b815e23a/dblp}, booktitle = {ABZ}, crossref = {conf/asm/2020}, editor = {Raschke, Alexander and Méry, Dominique and Houdek, Frank}, ee = {https://doi.org/10.1007/978-3-030-48077-6_14}, interhash = {2adb8f2d6881e2222b20347d53852a9d}, intrahash = {2d5680d9e49c5039306e5619b815e23a}, isbn = {978-3-030-48077-6}, keywords = {dblp}, pages = {203-219}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T22:05:46.000+0200}, title = {Formal Distributed Protocol Development for Reservation of Railway Sections.}, url = {http://dblp.uni-trier.de/db/conf/asm/abz2020.html#StankaitisIKAIR20}, volume = 12071, year = 2020 }