Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra System
ISSN: 1611-3349, 0302-9743
ISBN: 9783030600259
Año de publicación: 2020
Volumen: 12291 LNCS
Páginas: 528-542
Tipo: Aportación congreso