%0 Journal Article %1 journals/scp/Banach20 %A Banach, Richard %D 2020 %J Sci. Comput. Program. %K dblp %P 102404 %T Automated urban train control with hybrid Event-B: 'Tackling' the rugby club problem. %U http://dblp.uni-trier.de/db/journals/scp/scp190.html#Banach20 %V 190

@article{journals/scp/Banach20, added-at = {2020-03-24T00:00:00.000+0100}, author = {Banach, Richard}, biburl = {https://www.bibsonomy.org/bibtex/256f345fcfab591e803463b140ee65ad7/dblp}, ee = {https://doi.org/10.1016/j.scico.2020.102404}, interhash = {9cb67379fe21d31c6f1cdb8f9a4104d9}, intrahash = {56f345fcfab591e803463b140ee65ad7}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = 102404, timestamp = {2020-03-25T11:50:08.000+0100}, title = {Automated urban train control with hybrid Event-B: 'Tackling' the rugby club problem.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp190.html#Banach20}, volume = 190, year = 2020 }