Publikationen in Zusammenarbeit mit Forschern von 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