Publications in collaboration with researchers from 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