Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra System.

Eugenio Roanes-Lozano

Browse the full CASC paper archive.