TY  - RPRT
TI  - Linear-Time Model Checking Branching Processes
AU  - Stefan Kiefer
AU  - Pavel Semukhin
AU  - Cas Widdershoven
PY  - 2021
UR  - https://arxiv.org/abs/2107.01687
ID  - 2107.01687
ER  -