Trace Inclusion for One-Counter Nets Revisited. Hofman, P. & Totzke, P. In Proceedings of Reachability Problems (RP), pages 151-162, 2014.
Trace Inclusion for One-Counter Nets Revisited [link]Paper  bibtex   
@inproceedings{ dblp2147862,
  title = {Trace Inclusion for One-Counter Nets Revisited},
  author = {Piotr Hofman and Patrick Totzke},
  author_short = {Hofman, P. and Totzke, P.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2014},
  key = {dblp2147862},
  id = {dblp2147862},
  biburl = {http://www.dblp.org/rec/bibtex/conf/rp/HofmanT14},
  url = {http://dx.doi.org/10.1007/978-3-319-11439-2_12},
  conference = {RP},
  pages = {151-162},
  text = {RP 2014:151-162},
  booktitle = {Proceedings of Reachability Problems (RP)}
}

Downloads: 0