The Mechanical Verification of Solid State Interlocking Geographic Data

書誌詳細
主要な著者: Simpson, A, Woodcock, J, Davies, J
フォーマット: Conference item
出版事項: Springer 1997

類似資料