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
Any de publicació: 2020
Volum: 12291 LNCS
Pàgines: 528-542
Tipus: Aportació congrés