Fred Kröger · 4 obras en el catálogoObrasTemporal logic and state systemsEinführung in die InformatikTemporal Logic of ProgramsEinführung in die Informatik