Ulises Martinez Araiza

Publications
Martinez-Araiza, U. and Lopez-Mellado, E., "A CTL model repair method for Petri Nets," in World Automation Congress (WAC), 2014, 2014, pp. 654 - 659.