TY  - RPRT
TI  - SMC4PEP: Stochastic Model Checking of Product Engineering Processes
AU  - Hassan Hage
AU  - Emmanouil Seferis
AU  - Vahid Hashemi
AU  - Frank Mantwill
PY  - 2022
UR  - https://arxiv.org/abs/2203.06974
ID  - 2203.06974
ER  -