Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
ISO-690 (author-date, English)

GARIS, Ana Gabriela, 2010. Lógica Temporal en Verificación de Modelos de Software. Origen y Evolución hasta tiempos actuales. Fundamentos en Humanidades. 1 Juni 2010. Vol. 11, no. 21, p. 151-161.

Elsevier - Harvard (with titles)

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, 151-161.

American Psychological Association 7th edition

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-161.

Springer - Basic (author-date)

Garis AG (2010) Lógica Temporal en Verificación de Modelos de Software. Origen y Evolución hasta tiempos actuales.. Fundamentos en Humanidades 11:151-161

Juristische Zitierweise (Stüber) (Deutsch)

Garis, Ana Gabriela, Lógica Temporal en Verificación de Modelos de Software. Origen y Evolución hasta tiempos actuales., Fundamentos en Humanidades 2010, 151-161.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.