Campos Laclaustra, Javier
Silva Suárez, Manuel (dir.)
,
1990
Pal. clave: Petri nets ; Performance bounds ; Synchronized queueing networks ; Formal methods ; Concurrent and distributed systems
Department: Informática e Ingeniería de Sistemas
Nota: Presentado: 14 12 1990
Nota: Tesis-Univ. Zaragoza
-
Visitas y descargas
Department: Informática e Ingeniería de Sistemas
Nota: Presentado: 14 12 1990
Nota: Tesis-Univ. Zaragoza
-
Permalink:
Visitas y descargas
Notice créée le 2014-11-20, modifiée le 2019-02-19
