Universidad de Castilla-La Mancha
 
Departamento de Sistemas Informáticos





 
Technical Report
 
Código: DIAB-02-01-25
Fecha Publicación: 01-01-2002
Título: NEW FEATURES OF TPAL FOR THE SPECIFICATION AND ANALISIS OF CONCURRENT SYSTEMS



 
Autores
 
Autor Detalles
CAMBRONERO PIQUERAS, MARÍA EMILIA
PARDO MATEO, JUAN JOSÉ
RUIZ DELGADO, MARÍA CARMEN
VALERO RUIZ, VALENTIN



 
Ficheros
 
Fichero Bytes Detalles
dia020125.ps.gz 1.5M

 

Sindicación     Sindicación     Sindicación
Curso: 2017-18
© Departamento de Sistemas Informáticos
ESII - Avda. de España s/n
02071 Albacete
Tfno: 967 59 92 00 - Fax: 967 59 92 24

aviso legal