Publicaciones en las que colabora con Valentín Valero Ruiz (1)

2000

  1. Decidability of properties of timed-arc Petri nets

    Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000