Garis, A. G. (2010). Lógica Temporal en Verificación de Modelos de Software. Origen y Evolución hasta tiempos actuales. Fundamentos en Humanidades, 11(21), 151.
Chicago Style (17th ed.) CitationGaris, Ana Gabriela. "Lógica Temporal En Verificación De Modelos De Software. Origen Y Evolución Hasta Tiempos Actuales." Fundamentos En Humanidades 11, no. 21 (2010): 151.
MLA (9th ed.) CitationGaris, Ana Gabriela. "Lógica Temporal En Verificación De Modelos De Software. Origen Y Evolución Hasta Tiempos Actuales." Fundamentos En Humanidades, vol. 11, no. 21, 2010, p. 151.
Warning: These citations may not always be 100% accurate.