Publications en collaboration avec des chercheurs 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