Web Principal
Portal Académico
Contacto
Mi DSpace
Usuario
Contraseña
Ir
Ir
Browse
Communities
& Collections
Issue Date
Author
Title
Subject
Servicios
Alertas
My DSpace
Usuarios autorizados
Editar perfil
Lo que necesitas saber
Orientaciones repositorio Qolqa
Estadísticas
Enlaces de Interés
Alertas Bibliográficas
Catálogo Web
Biblioteca Virtual
Ayuda
Sobre DSpace
Browsing by Subject RAISE
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
or enter first few letters:
Sort by:
title
issue date
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 2 of 2
Issue Date
Title
Author(s)
2008
A translation from RSL to CSP
Parisaca Vargas, Abigail
;
Tapia Tarifa, Silvia Lizeth
;
George, Chris
2009
Model checking LTL formulae in RAISE with FDR
Parisaca Vargas, Abigail
;
Gabriela Garis, Ana
;
Tapia Tarifa, Silvia Lizeth
;
George, Chris