TY  - RPRT
TI  - Checking Presence Reachability Properties on Parameterized Shared-Memory Systems
AU  - Nicolas Waldburger
PY  - 2023
UR  - https://arxiv.org/abs/2306.17476
ID  - 2306.17476
ER  -