Valentín
Valero Ruiz
Publicaciones en las que colabora con Valentín Valero Ruiz (3)
2001
-
SPBC: A Markovian extension of finite petri box calculus
Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001
2000
-
Decidability of properties of timed-arc Petri nets
Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000
1992
-
CSP Probabilístico (PCSP): un modelo operacional
Panel '92: actas, XVIII Conferencia Latinoamericana de Informática