Publicaciones en colaboración con investigadores/as de Universidad de Castilla-La Mancha (1)

2000

  1. Decidability of properties of timed-arc petri nets

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)