TY  - RPRT
TI  - On the Topological Complexity of omega-Languages of Non-Deterministic Petri Nets
AU  - Olivier Finkel
AU  - Michał Skrzypczak
PY  - 2014
UR  - https://arxiv.org/abs/1401.6835
ID  - 1401.6835
ER  -