Discussion on: ``Theory and computation of discrete state space decompositions for hybrid systems

From MaRDI portal
(Redirected from Publication:397400)
Discussion on: ``Theory and computation of discrete state space decompositions for hybrid systems''











Describes a project that uses

Uses Software






This page was built for publication: Discussion on: ``Theory and computation of discrete state space decompositions for hybrid systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q397400)