( en | de | ru )

 

Disambiguation of "Kröger,, Fred,"

Author of the publication

copydeleteadd this publication to your clipboard
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

, and . Springer Publishing Company, Incorporated, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Fred Kröger

Torsten Kröger

On-line trajectory generation in robotic systems: basic concepts for instantaneous reactions to unforeseen (sensor) events. TU Braunschweig, (2009)

Otto Kröger

Hans Kröger

Jochen Kröger

 

Other publications of authors with the same name

Logical Rules of Natural Reasoning about Programs.. ICALP, page 87-98. Edinburgh University Press, (1976)Speicherzuordnung an Datenstrukturen.. GI Jahrestagung, volume 26 of Lecture Notes in Computer Science, page 183-191. Springer, (1974)Einführung in die Informatik - Algorithmenentwicklung.. Springer, (1991)Formalization of Algorithmic Reasoning.. MFCS, volume 32 of Lecture Notes in Computer Science, page 287-293. Springer, (1975)Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series), and . Springer Publishing Company, Incorporated, (2008)A Uniform Logical Basis for the Description, Specification and Verification of Programs.. Formal Description of Programming Concepts, page 441-460. North-Holland, (1977)Eine axiomatische Studie zur Identifikation von Identifikatoren.. Fachtagung über Programmiersprachen, volume 7 of Lecture Notes in Computer Science, page 25-33. Springer, (1974)