@inproceedings{ dblp2361534,
  title = {Decidability of Weak Simulation on One-Counter Nets},
  author = {Piotr Hofman and Richard Mayr and Patrick Totzke},
  author_short = {Hofman, P. and Mayr, R. and Totzke, P.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2013},
  key = {dblp2361534},
  id = {dblp2361534},
  biburl = {http://www.dblp.org/rec/bibtex/conf/lics/HofmanMT13},
  url = {http://dx.doi.org/10.1109/LICS.2013.26},
  conference = {LICS},
  pages = {203-212},
  text = {LICS 2013:203-212},
  booktitle = {Proceedings of Logic in Computer Science (LICS)}
}

{"_id":"kwYrY54kSbNE6SbWC","bibbaseid":"hofman-mayr-totzke-decidabilityofweaksimulationononecounternets-2013","downloads":0,"creationDate":"2016-02-23T13:20:43.548Z","title":"Decidability of Weak Simulation on One-Counter Nets","author_short":["Hofman, P.","Mayr, R.","Totzke, P."],"year":2013,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/lics/HofmanMT13","bibdata":{"title":"Decidability of Weak Simulation on One-Counter Nets","author":["Piotr Hofman","Richard Mayr","Patrick Totzke"],"author_short":["Hofman, P.","Mayr, R.","Totzke, P."],"bibtype":"inproceedings","type":"inproceedings","year":"2013","key":"dblp2361534","id":"dblp2361534","biburl":"http://www.dblp.org/rec/bibtex/conf/lics/HofmanMT13","url":"http://dx.doi.org/10.1109/LICS.2013.26","conference":"LICS","pages":"203-212","text":"LICS 2013:203-212","booktitle":"Proceedings of Logic in Computer Science (LICS)","bibtex":"@inproceedings{ dblp2361534,\n title = {Decidability of Weak Simulation on One-Counter Nets},\n author = {Piotr Hofman and Richard Mayr and Patrick Totzke},\n author_short = {Hofman, P. and Mayr, R. and Totzke, P.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2013},\n key = {dblp2361534},\n id = {dblp2361534},\n biburl = {http://www.dblp.org/rec/bibtex/conf/lics/HofmanMT13},\n url = {http://dx.doi.org/10.1109/LICS.2013.26},\n conference = {LICS},\n pages = {203-212},\n text = {LICS 2013:203-212},\n booktitle = {Proceedings of Logic in Computer Science (LICS)}\n}","bibbaseid":"hofman-mayr-totzke-decidabilityofweaksimulationononecounternets-2013","role":"author","urls":{"Paper":"http://dx.doi.org/10.1109/LICS.2013.26"},"downloads":0},"search_terms":["decidability","weak","simulation","one","counter","nets","hofman","mayr","totzke"],"keywords":[],"authorIDs":["56cc5caba2250d015300020e"],"dataSources":["yNX8PNTFJxfQEinGq"]}