Knowledge in Action – Logical Foundations for Specifying & Implementing Dynamical Systems

Knowledge in Action – Logical Foundations for Specifying & Implementing Dynamical Systems