OLGA
MARROQUÍN ALONSO
Profesora contratada doctora
Universidad de Castilla-La Mancha
Ciudad Real, EspañaPublicaciones en colaboración con investigadores/as de Universidad de Castilla-La Mancha (1)
2000
-
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)