TY - RPRT TI - Formal Approximations of the Transient Distributions of the M/G/1 Workload Process AU - Fabian Michel AU - Markus Siegle PY - 2025 UR - https://arxiv.org/abs/2504.01193 ID - 2504.01193 ER -