The Mechanical Verification of Solid State Interlocking Geographic Data

מידע ביבליוגרפי
Main Authors: Simpson, A, Woodcock, J, Davies, J
פורמט: Conference item
יצא לאור: Springer 1997