Looking for compatible routes in the railway interlocking system of an overtaking station using a computer algebra system

From MaRDI portal
Publication:2110247