TY  - RPRT
TI  - Small Vertex Cover makes Petri Net Coverability and Boundedness Easier
AU  - M. Praveen
PY  - 2010
DO  - 10.1007/978-3-642-17493-3_21
UR  - https://arxiv.org/abs/1009.2577
ID  - 1009.2577
ER  -