Skip navigation
Página inicial
Percorrer
Comunidades y
Colecciones
Vea ítems por:
Fecha de Publicación
Autor
Título
Assunto
Sobre
Sobre el Repositorio Institucional
Políticas de uso
FAQs (Preguntas Frecuentes)
Créditos
Estadísticas de Acceso
Registrarse para:
Mi Repositorio
Recibir actualizaciones
por correo
Editar perfil
Repositório PUCRS
Visualizando por Tema Model Checking
Ir a:
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
o entre con las primeras letras:
Ordenar por:
Título
Fecha de Publicación
Fecha de Sumisión
Para:
Ascendente
Descendente
Resultados/Página
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Autores/Registro:
Todos
1
3
5
10
15
20
25
30
35
40
45
50
Mostrando reg. 1 a 1 de 1
Fecha de Publicación
Título
Autor(s)
2013
A CTL Model Checker for Stochastic Automata Networks
Lucas G. Oleksinski
;
Claiton M. Correa
;
Fernando Luis Dotti
, etc.
