Cita APA (7a ed.)

Garis, A. G. Lógica temporal en verificación de modelos de software: : Origen y evolución hasta tiempos actuales. Fundamentos en humanidades., Vol. 11 (2010),151-162 11, .

Cita Chicago Style (17a ed.)

Garis, Ana Gabriela. "Lógica Temporal En Verificación De Modelos De Software: : Origen Y Evolución Hasta Tiempos Actuales." Fundamentos En Humanidades. Vol. 11 (2010),151-162 11 ().

Cita MLA (9a ed.)

Garis, Ana Gabriela. "Lógica Temporal En Verificación De Modelos De Software: : Origen Y Evolución Hasta Tiempos Actuales." Fundamentos En Humanidades., vol. Vol. 11 (2010),151-162 11, .