Trace Inclusion for One-Counter Nets Revisited. Hofman, P. & Totzke, P. In Proceedings of Reachability Problems (RP), pages 151-162, 2014. 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
{"_id":"odJ9FAmjGgvGMSJL9","bibbaseid":"hofman-totzke-traceinclusionforonecounternetsrevisited-2014","downloads":0,"creationDate":"2016-02-23T13:20:43.541Z","title":"Trace Inclusion for One-Counter Nets Revisited","author_short":["Hofman, P.","Totzke, P."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/rp/HofmanT14","bibdata":{"title":"Trace Inclusion for One-Counter Nets Revisited","author":["Piotr Hofman","Patrick Totzke"],"author_short":["Hofman, P.","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)","bibtex":"@inproceedings{ dblp2147862,\n title = {Trace Inclusion for One-Counter Nets Revisited},\n author = {Piotr Hofman and Patrick Totzke},\n author_short = {Hofman, P. and Totzke, P.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2014},\n key = {dblp2147862},\n id = {dblp2147862},\n biburl = {http://www.dblp.org/rec/bibtex/conf/rp/HofmanT14},\n url = {http://dx.doi.org/10.1007/978-3-319-11439-2_12},\n conference = {RP},\n pages = {151-162},\n text = {RP 2014:151-162},\n booktitle = {Proceedings of Reachability Problems (RP)}\n}","bibbaseid":"hofman-totzke-traceinclusionforonecounternetsrevisited-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-319-11439-2_12"},"downloads":0},"search_terms":["trace","inclusion","one","counter","nets","revisited","hofman","totzke"],"keywords":[],"authorIDs":["56cc5caba2250d015300020e"],"dataSources":["jqSFhYEranRLTXXgy"]}