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,550,941 Experimental Material

 

Sindicación     Sindicación     Sindicación
Curso: 2012-13
© 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