Fred Kröger profile picture

Fred Kröger

Is this your author profile? Create an account to customize it!

Stand Alone

Temporal logic and state systems
Einführung in die Informatik
Temporal Logic of Programs
Communicating to Combat VD The Los Angeles Experiment