Skip navigation
Inicio
Listar
Comunidades
Listar Items por:
Fecha Publicación
Autor
Título
Materia
Ayuda
En pocas palabras
Ayuda Convenios
Ayuda Rápida
Preguntas Frecuentes
Apoyo a autores
Institucional
Objetivos
Beneficios
Recursos
Somos
Contacto
Equipo de Trabajo
BiDYA
Ingresar
Mi Espacio
Alertas
Editar perfil
Buscar
english
español
Colibri
Listar por Materia Formal verification
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 introducir las primeras letras:
Ordenar por:
Título
Fecha de publicación
Fecha de envío
En orden:
Ascendente
Descendente
Resultados por página
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Autor/Registro:
Todo
1
5
10
15
20
25
30
35
40
45
50
Mostrando resultados 1 a 3 de 3
Fecha de publicación
Título
Autor(es)
2022
A formal analysis of the mimblewimble cryptocurrency protocol with a security approach
Silveira Lapenne, Adrián Gerardo
2012
The complexity of the K-reliability in networks constrained to diameter two
Canale, Eduardo
;
Cancela, Héctor
;
Robledo, Franco
;
Sartor, Pablo
2012
Verification of model transformations : A survey of the state-of-the-art (Extended version)
Calegari, Daniel
;
Szasz, Nora
