Discrete Event Simulation

[M60]Cassandras, C.G.,
Discrete Event Simulation Intl. Workshop on Formal Methods for Performance Analysis,  July 2000.