TY  - RPRT
TI  - Model-checking lock-sharing systems against regular constraints
AU  - Corto Mascle
PY  - 2022
UR  - https://arxiv.org/abs/2210.07914
ID  - 2210.07914
ER  -