TY  - RPRT
TI  - Improved Ackermannian lower bound for the Petri nets reachability problem
AU  - Sławomir Lasota
PY  - 2022
UR  - https://arxiv.org/abs/2105.08551
ID  - 2105.08551
ER  -