Citace podle APA (7th ed.)

Kröger, F. (1987). Temporal logic of programs. Springer.

Citace podle Chicago (17th ed.)

Kröger, Fred. Temporal Logic of Programs. Berlin: Springer, 1987.

Citace podle MLA (9th ed.)

Kröger, Fred. Temporal Logic of Programs. Springer, 1987.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..