On Timed Simulation Relations for Hybrid Systems and Compositionality (Q3511236)

From MaRDI portal





scientific article; zbMATH DE number 5299132
Language Label Description Also known as
default for all languages
No label defined
    English
    On Timed Simulation Relations for Hybrid Systems and Compositionality
    scientific article; zbMATH DE number 5299132

      Statements

      Identifiers