@InProceedings{HLMT13fsttcs, author = {Piotr Hofman and S{\l}awomir Lasota and Richard Mayr and Patrick Totzke}, title = {Simulation Over One-counter Nets is {PSPACE}-Complete}, booktitle = {Proc. FSTTCS'13}, year = 2013, volume = {}, pages = {}, series = {LIPIcs} }