E-Prints Complutense

Eprints más vistos: [2013] [2012] [Todos los años]
Estadísticas del Archivo: [por Año/mes] [por País]

Two Algorithms for Model Checking of Regular Linear Temporal Logic

Para este eprint: [2013] [2012] [Todos los años]

Historial de descargas de este eprint:

NOTA: Desde junio de 2009 hasta mayo de 2010 inclusive, algunas descargas se han contabilizado erróneamente por duplicado.
Los números entre paréntesis representan los países distintos desde los que se originaron las descargas.
Período	Descargas
2013 Abr	7	(3)
2013 Mar	11	(6)
2013 Feb	0	(0)
2013 Ene	18	(5)
2012 Dic	15	(7)
2012 Nov	19	(5)
2012 Oct	19	(7)
2012 Sep	10	(5)
2012 Ago	9	(3)
2012 Jul	17	(5)
2012 Jun	5	(3)
2012 May	15	(8)
2012 Abr	15	(5)

Descargas por país (deducidas de la dirección IP solicitante) en todos los años

País		Descargas
	United States	84
	Russian Federation	18
	Spain	15
	France	7
	Argentina	6
	China	4
	Peru	3
	Brazil	3
	Campus U.C.M.	2
	Italy	2
	Japan	2
	Switzerland	2
	Colombia	2
	Portugal	1
	Hungary	1
	Australia	1
	Cuba	1
	Netherlands	1
	Slovakia	1
	United Kingdom	1
	Germany	1
	Vietnam	1
	Guatemala	1
Total acumulado:		160	descargas de este eprint desde 23 países distintos

Inicio de página