On the Complexity of Verifying Structural Properties of Discrete Event Simulation Models
Published Online:1 Jun 1999https://doi.org/10.1287/opre.47.3.476
- Cited by
- 8 April 2026 | Journal of Contemporary Business Research, Vol. 2, No. 1
- 20 September 2022 | Journal of the Operational Research Society, Vol. 74, No. 9
- Computers & Industrial Engineering, Vol. 127
- 19 December 2017 | Journal of Simulation, Vol. 6, No. 2
- 8 February 2010 | ACM Transactions on Modeling and Computer Simulation, Vol. 20, No. 1
- 17 August 2010 | IIE Transactions, Vol. 36, No. 6
- Applied Mathematics and Computation, Vol. 125, No. 2-3
- IEEE Transactions on Automatic Control, Vol. 47, No. 2
Volume 47, Issue 3
May-June 1999
Pages 345-494
Article Information
Supplemental Material
Metrics
Information
- Published Online:June 01, 1999
© 1999 INFORMS
Cite as
Sheldon H. Jacobson, Enver Yücesan, (1999) On the Complexity of Verifying Structural Properties of Discrete Event Simulation Models. Operations Research 47(3):476-481.
https://doi.org/10.1287/opre.47.3.476
Keywords
