Estadísticas

Número total de visitas

	Total
Formalización de OASIS en lógica dinámica incluyendo especificaciones de proceso	511

Visitas por mes

	noviembre 2023	diciembre 2023	enero 2024	febrero 2024	marzo 2024	abril 2024	mayo 2024
Formalización de OASIS en lógica dinámica incluyendo especificaciones de proceso	3	13	20	4	3	0	2

Descargas del fichero

	Total
fol.pdf	177

Países con más visitas

	Total
Estados Unidos	246
Alemania	41
Francia	39
Irlanda	39
España	21
México	14
Suecia	14
Bélgica	12
Finlandia	12
China	11

Ciudades con más visitas

	Total
Ann Arbor	58
Ashburn	40
Dublin	37
Mountain View	22
Aubervilliers	14
Brussels	12
Los Angeles	11
Sunnyvale	8
Des Moines	7
Phoenix	6