Formal Methods for Discrete-Time Dynamical Systems Book Discussion
Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control, 89)
by
Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control, 89)