Publicaciones en colaboración con investigadores/as de Instituto de Neurología Cognitiva (1)

2019

  1. An Algebraic Approach to DC Railway Electrification Verification

    Mathematics in Computer Science, Vol. 13, Núm. 3, pp. 449-457