Matrix Approach to DC Railway Electrification Verification. - Eugenio Roanes-Lozano; Rubén González-Martín (ICCS, 2017)

An Algebraic Approach to DC Railway Electrification Verification. - Eugenio Roanes-Lozano; Rubén González-Martín; Javier Montero (Math. Comput. Sci., 2019)