The Mechanical Verification of Solid State Interlocking Geographic Data

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Simpson, A, Woodcock, J, Davies, J
Ձևաչափ: Conference item
Հրապարակվել է: Springer 1997