TY - GEN AU - Mitrani I TI - simulation Techniques for Discrete Event Systems PY - 0000/// CY - London PB - Cambridge ER -