Title: On the intractability of verifying structural properties of discrete event simulation models
First published: 1992
Subjects: Simulation methods, Computer simulation