@article{HLMT15lmcs, author = {Piotr Hofman and S{\l}awomir Lasota and Richard Mayr and Patrick Totzke}, title = {Simulation Problems Over One-Counter Nets}, journal = {Logical Methods in Computer Science}, year = 2016, volume = {12}, number = {1} pages = {}, }