. . "Fred Kröger"@fr . . . "2013-07-26" . . . . . . . . . . . . . "Écrit aussi en anglais" . . "2013-07-26"^^ . "VIAF" . "Informaticien. - En poste à l'Institut für Informatik der Universität München, Munich, RFA (en 1987)" . "Écrit aussi en anglais"@fr . "Temporal logic of programs / Fred Kröger, 1987. - . - LCNA (CD OCLC), 1993-03. - . -"@fr . "Kröger" . . . "Fred Kröger" . . "Fred" . "1993-10-20" . "Écrit aussi en anglais" . "0000000109139138" . "12341718"^^ . "Informaticien. - En poste à l'Institut für Informatik der Universität München, Munich, RFA (en 1987)"@fr . "Informaticien. - En poste à l'Institut für Informatik der Universität München, Munich, RFA (en 1987)" . . . "1945"^^ . .