Publikationen in Zusammenarbeit mit Forschern von Centro de Investigación y de Estudios Avanzados (1)

2007

  1. A μ-calculus approach for the synthesis of discrete-event supervisors with safety specifications

    2007 4th International Conference on Electrical and Electronics Engineering, ICEEE 2007