Computer Aided Systems Theory – EUROCAST 2017, Part I (Moreno-Díaz, Roberto and Pichler, Franz and Quesada-Arencibia, Alexis), volume 10671 of LNCS, pages 299-306, 2018, Springer.
Extended Abstracts of the Sixteenth International Conference on Computer Aided Systems Theory – EUROCAST 2017 (Moreno-Díaz, Roberto and Pichler, Franz and Quesada-Arencibia, Alexis), 2017.