%0 Conference Paper %1 conf/itdrr/BelabedTC17 %A Belabed, Lilia %A Tanzi, Tullio Joseph %A Coudert, Sophie %B ITDRR %D 2017 %E Murayama, Yuko %E Velev, Dimiter %E Zlateva, Plamena %I Springer %K dblp %P 161-176 %T Formal Methods for Railway Disasters Prevention. %U http://dblp.uni-trier.de/db/conf/itdrr/itdrr2017.html#BelabedTC17 %V 516 %@ 978-3-030-18293-9

@inproceedings{conf/itdrr/BelabedTC17, added-at = {2019-04-26T00:00:00.000+0200}, author = {Belabed, Lilia and Tanzi, Tullio Joseph and Coudert, Sophie}, biburl = {https://www.bibsonomy.org/bibtex/295189665d76cf0511ed9f5311d4897fc/dblp}, booktitle = {ITDRR}, crossref = {conf/itdrr/2017}, editor = {Murayama, Yuko and Velev, Dimiter and Zlateva, Plamena}, ee = {https://doi.org/10.1007/978-3-030-18293-9_14}, interhash = {821d250f293bead502e35547c2276af2}, intrahash = {95189665d76cf0511ed9f5311d4897fc}, isbn = {978-3-030-18293-9}, keywords = {dblp}, pages = {161-176}, publisher = {Springer}, series = {IFIP Advances in Information and Communication Technology}, timestamp = {2019-04-27T11:39:11.000+0200}, title = {Formal Methods for Railway Disasters Prevention.}, url = {http://dblp.uni-trier.de/db/conf/itdrr/itdrr2017.html#BelabedTC17}, volume = 516, year = 2017 }