Enver Yücesan

• Analysis of Markov chains using simulation graph models
• On the intractability of verifying structural properties of discrete event simulation models