KRÖGER, Fred, 1987. Temporal logic of programs. Berlin [u.a.]: Springer. EATCS monographs on theoretical computer science, 8. ISBN 3540170308.
Elsevier - Harvard (with titles)Kröger, F., 1987. Temporal logic of programs, EATCS monographs on theoretical computer science, EATCS monographs on theoretical computer science. Springer, Berlin [u.a.].
American Psychological Association 7th editionKröger, F. (ca. 1987). Temporal logic of programs [Book]. In EATCS monographs on theoretical computer science. Springer.
Springer - Basic (author-date)Kröger F (1987) Temporal logic of programs. Springer, Berlin [u.a.]
Juristische Zitierweise (Stüber) (Deutsch)Kröger, Fred, Temporal logic of programs, Berlin [u.a.] 1987.
Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.