María Andreína Francisco Rodríguez profile picture

María Andreína Francisco Rodríguez

Analysis, Synthesis and Application of Automaton-based Constraint Descriptions