TY  - RPRT
TI  - Finding Needles in Haystack: Formal Generative Models for Efficient Massive Parallel Simulations
AU  - Osama Maqbool
AU  - Jürgen Roßmann
PY  - 2023
UR  - https://arxiv.org/abs/2301.01594
ID  - 2301.01594
ER  -