Fred Kröger

• Einführung in die Informatik
• Einführung in die Informatik
• Temporal logic and state systems
• Temporal Logic of Programs