Fred Kröger

Books by Fred Kröger

Total count: 3

• 
  Temporal Logic of Programs

  Springer Berlin Heidelberg1987-01-01
• 
  Einführung in die InformatikAlgorithmenentwicklung

  Springer1991-02-28
• Temporal Logic and State Systems

  Springer London, Limited2008-01-01