OLGA
MARROQUÍN ALONSO
Profesora contratada doctora
Universidad de Castilla-La Mancha
Ciudad Real, EspañaPublications en collaboration avec des chercheurs 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)