TY  - RPRT
TI  - Weak $ω$-Regular Trace Languages
AU  - Namit Chaturvedi
AU  - Marcus Gelderie
PY  - 2014
UR  - https://arxiv.org/abs/1402.3199
ID  - 1402.3199
ER  -