Instituto de Neurología Cognitiva-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2019

  1. An Algebraic Approach to DC Railway Electrification Verification

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