formal theory of railway track networks in higher-order logic and its applications in interlocking design
By: by Wai Wong.
Publisher: typescript
Published: 1992
Place of publication: [s.l.]
Language: eng
Notes: Thesis (Ph.D.) - University of Warwick, 1992.