Formal modelling of railway safety and capacity /
Iliasov, Alexei,author.
Romanovsky, Alexander,1954-author.
University of Newcastle upon Tyne.School of Computing Science.
Title from caption.
"January 2015."