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 |
---|---|---|---|
English | On the Complexity of Verifying Structural Properties of Discrete Event Simulation Models |
scientific article; zbMATH DE number 1782433 |
Statements
On the Complexity of Verifying Structural Properties of Discrete Event Simulation Models (English)
0 references
17 July 2003
0 references
computational complexity theory
0 references
various discrete event simulation problems
0 references