Reihe Studies in Systems, Decision and ControlCalin Belta × Formal Methods for Discrete-Time Dynamical Systems Calin BeltaSpringer International PublishingSoftcover2018 Formal Methods for Discrete-Time Dynamical Systems Calin BeltaSpringer International PublishingHardcover2017 Formal Methods for Discrete-Time Dynamical Systems Calin BeltaSpringer International PublishingeBook2017