Número total de visitas

Visualizaciones
Modelado y verificación mediante lógica lineal temporal de un grupo de dos ascensores con sistema de control de destino364

Visitas al mes

diciembre 2023enero 2024febrero 2024marzo 2024abril 2024mayo 2024junio 2024julio 2024agosto 2024septiembre 2024octubre 2024
Modelado y verificación mediante lógica lineal temporal de un grupo de dos ascensores con sistema de control de destino96256374282

Visitas al fichero

Visualizaciones
2019_Toscano-Moreno_Modelado-verificacion-logica-lineal-ascensores.pdf339

Países con más visualizaciones

Visualizaciones
Estados Unidos179
España49
China12
Argentina10
Alemania10
Irlanda10
Perú10
Reino Unido6
México6
Ucrania5

Ciudades con más visualizaciones

Visualizaciones
Ashburn56
Fairfield31
Mountain View18
Sevilla15
Málaga9
Lima7
Louisville7
Cambridge6
Dublin6
San Mateo6