Temporal Logic of Programs

by Kröger, Fred
Published 1987

Einführung in die Informatik : Algorithmenentwicklung

by Kröger, Fred
Published 1991

Temporal Logic and State Systems

by Kröger, Fred, Merz, Stephan
Published 2008