On the Complexity of Verifying Structural Properties of Discrete Event Simulation Models (Q4545686)

From MaRDI portal





scientific article; zbMATH DE number 1782433
Language Label Description Also known as
default for all languages
No label defined
    English
    On the Complexity of Verifying Structural Properties of Discrete Event Simulation Models
    scientific article; zbMATH DE number 1782433

      Statements

      Identifiers