E-Prints Complutense

Consultar por Autor

Subir un nivel
Exportar como [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Número de eprints: 1.

Sánchez, Alejandro (2011) Decision procedures for the temporal verification of concurrent data structures. [Trabajo fin de Máster]

Esta lista fue generada el Tue Mar 28 02:37:12 2017 CEST.